Algebraic Operational Semantics and Modula-2. - Yuri Gurevich; James M. Morris (CSL, 1987)

Algebraic operational semantics for Modula 2. - James M. Morris (1988)

Program Verification by Symbolic Execution of Hyperfinite Ideal Machines. - James M. Morris; Mark Howard (CAV, 1990)