ШПАКОВ, В. М. Компьютерная реализация процессов на основе их логико-динамической спецификации. Информационно-управляющие системы, n. 4, p. 68-76, 19 ago. 2016.