Algebraic operational semantics for Modula 2

James M. Morris. Algebraic operational semantics for Modula 2. PhD thesis, University of Michigan, USA, 1988. [doi]

Abstract

Abstract is missing.