Шпаков, В. М. Компьютерная реализация процессов на основе их логико-динамической спецификации. ИУС 2016, 68-76.