Operational semantics of OBJ3 (1988)

by C Kirchner, H Kirchner, J Meseguer
Venue:Proceedings of the 15th International Colloquium on Automata, Languages and Programming (ICALP'88), LNCS 317