1. Шпаков В.М. Компьютерная реализация процессов на основе их логико-динамической спецификации // Информационно-управляющие системы. 2016. № 4. C. 68-76.