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