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