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