Программирование взаимодействующих гибридных процессов - Шпаков (Труды СПИИРАН, 2004)