Брауэр Вильфрид
Введение в теорию конечных автоматов
Ноокулон. Управление реальностью.