Логика. Автоматы. Алгоритмы - Айзерман М. А. Марк Аронович; Гусев Л. А. Леонид Алексеевич; Розоноэр Л. И. Лев Ильич; Смирнова И. М. Ирина Михайловна; Таль А. А. Алексей Алексеевич (Москва, Физматгиз, 1963)