Шпаков, Программирование взаимодействующих гибридных процессов, ТС, т. 1, вып. 2, сс. 294-303, апр. 2004.