The Formal Definition of Modula-2 and Its Associated Interpreter

Derek J. Andrews, Anjula Garg, S. P. A. Lau, J. R. Pitchers. The Formal Definition of Modula-2 and Its Associated Interpreter. In Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones, editors, VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Volume 328 of Lecture Notes in Computer Science, pages 167-177, Springer, 1988.

@inproceedings{AndrewsGLP88,
  title = {The Formal Definition of Modula-2 and Its Associated Interpreter},
  author = {Derek J. Andrews and Anjula Garg and S. P. A. Lau and J. R. Pitchers},
  year = {1988},
  tags = {interpreter},
  researchr = {https://researchr.org/publication/AndrewsGLP88},
  cites = {0},
  citedby = {0},
  pages = {167-177},
  booktitle = {VDM  88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings},
  editor = {Robin E. Bloomfield and Lynn S. Marshall and Roger B. Jones},
  volume = {328},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-50214-9},
}