Информационная технология проектирования моделей конечных автоматов - Аль Мади, М. К.; Моамар, Д. Н.; Уткина, Т. Ю. (ХНУРЭ, 2007)