Афанасьева, И.В., Новиков, Ф.А., Федорченко, Л.Н.: Методика построения событийно-управляемых программных систем с использованием языка спецификации CIAO. Труды СПИИРАН. 19(3), 481-514 (2020). doi:10.15622/sp.2020.19.3.1