Методика построения событийно-управляемых программных систем с использованием языка спецификации CIAO - Афанасьева, Ирина Викторовна; Новиков, Фёдор Александрович; Федорченко, Людмила Николаевна (Труды СПИИРАН, 2020)