-A. Ershov/C. H. A. Koster (Eds.): Methode of Algorithmic Language Implementation, Springer-Verlag 1977