Methods of algorithmic language implementation - Ershov, A.; Koster, C.H.A (Lecture Notes in Computer Science, 1977)