The Formal Definition of Modula-2 and Its Associated Interpreter. - Derek J. Andrews; Anjula Garg; S. P. A. Lau; J. R. Pitchers (VDM Europe, 1988)