Шпаков,: Программирование взаимодействующих гибридных процессов. Труды СПИИРАН 1(2), 294-303 (2004). doi:10.15622/sp.2.22