of Algebraic Specification using OBJ (1993)

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