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