Шпаков, В.М.: Компьютерная реализация процессов на основе их логико-динамической спецификации. Информационно-управляющие системы(4), 68-76 (2016). doi:10.15217/issn1684-8853.2016.4.68