Principles of OBJ-2 (1985)

by K Futatsugi, J Goguen, J-P Jouannaud, J Meseguer
Venue:Proceedings 12th ACM Symposium on Principles of Programming Languages