of Algebraic Specification using OBJ (1993)

by J Goguen, T Winkler, J Meseguer, K Futatsugi, J-P Jouannaud
Venue:Introducing OBJ. In: Goguen, J. (Ed.), Applications