The basic semantics of untyped functional programs and reduction strategies - Hrachyan, Gurgen G. (Изд-во НАН РА)
Keywords: Mathematics; Computer software