Учебное пособие

С.С. Лавров. Лекции по теории программирование Санкт-Петербург, 1999, изд-во НЕСТОР, 108 с.