Лекции по математической логике и теории алгоритмов / Н.К.Верещагин, А.Шень. [Ч. 2] : Языки и исчисления. — 286 с. — (Современные лекционные курсы) - Верещагин, Н. К. (род. 1958) (Современные лекционные курсы)