Shpakov, 2004. Programming of interacting hybrid processes. SPIIRAS Proceedings. 1, 2 (Apr. 2004), 294-303. DOI:https://doi.org/10.15622/sp.2.22.