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