Компьютерная реализация процессов на основе их логико-динамической спецификации - Шпаков, Владимир Михайлович (Информационно-управляющие системы, 2016)