Захаров В.А., Темербекова Г.Г. О минимизации и проверке эквивалентности последовательных реагирующих систем // № 7, 2016
