Elementy teoretičeskogo programmirovanija - Ivani, A.; Smeljanskij, R. L. (Izdatel'stvo Moskovskogo Universiteta, 1985)