James M. Morris. Algebraic operational semantics for Modula 2. PhD thesis, University of Michigan, USA, 1988. [doi]
@phdthesis{us-2051, title = {Algebraic operational semantics for Modula 2}, author = {James M. Morris}, year = {1988}, url = {http://hdl.handle.net/2027.42/161837}, researchr = {https://researchr.org/publication/us-2051}, cites = {0}, citedby = {0}, school = {University of Michigan, USA}, }