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