Operational semantics of OBJ3 (1988)

by Claude Kirchner, Hélène Kirchner, José Meseguer
Venue:In 15th International Conference on Automata, Languages and Programming, volume 317 of LNCS