Semantic analysis of an ALGOL text
Volume 12 / 1971
Applicationes Mathematicae 12 (1971), 413-497
DOI: 10.4064/am-12-4-413-497