Methods of Algorithmic Language Implementation - Koster, C. H. A.; Ershov, A. (Lecture Notes in Computer Science, 1977)