Yuri Gurevich James M. Morris Algebraic Operational Semantics and Modula-2. 81-101 1987 conf/csl/1987 CSL db/conf/csl/csl87.html#GurevichM87 http://dx.doi.org/10.1007/3-540-50241-6_31