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