The Formal Definition of Modula-2 and Its Associated Interpreter.

Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers

Browse the full FM paper archive.