SAS 1997Semantic Analyzer of Modula-ProgramsPavel G. Emelianov, Danil E. BaburinDOI 10.1007/bfb0032753dblpBibTeXNo abstract available.