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