И. Бурдонов, А. Косачев. Система автоматов: условия детерминизма и тестирование. Труды Института системного программирования РАН, том 28-1, 2016 г., ISSN 2079-8156, с. 151-184. 41 стр. doc, pdf