Methods of algorithmic language implementation - Ershov, A. (Springer Verlag, 1977)