Лекции по математической логике и теории алгоритмов: учебное пособие; Ч. 2; Языки и исчисления - Верещагин Н. К (Москва, МЦНМО, 2000)