Shpakov, V. Computer Implementation of Processes on the Base of Their Logic-Dynamic Specification. ICS 2016, 68-76.