Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Різноманітні моделі обчислень/Различные модели вычислений/Different models of computation

Автомати та їх логічні застосування/Автоматы и их логические приложения/Automata and logic of their application

Документи:

• Введение в теорию автоматов [Текст] / В.Б. Кудрявцев, С.В. Алешин, А.С. Подколзин. — М. : Наука, 1985. — 319 с.
• Современная прикладная алгебра [Текст] / Г. Биркгоф, Т. Барти. — М. : Мир, 1976. — 400 с.