Text this: Логическое проектирование дискретных автоматов: языки, методы, алгоритмы