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