Шпаков, Владимир Михайлович. Компьютерная реализация процессов на основе их логико-динамической спецификации. Информационно-управляющие системы, no. 4 (август 19, 2016): 68-76. просмотрено май 3, 2024. https://i-us.ru/index.php/ius/article/view/4386.