Methods of algorithmic language implementation - Ershov, A. P. (Lecture notes in computer science, 1977)