Kluge W. Abstract computing machines : a lambda calculus perspective / W. Kluge, 2005 r=on-line. - Текст : электронный.