АФАНАСЬЕВА, И. В.; НОВИКОВ, Ф. А.; ФЕДОРЧЕНКО, Л. Н. Методика построения событийно-управляемых программных систем с использованием языка спецификации CIAO. Труды СПИИРАН, v. 19, n. 3, p. 481-514, 1 jun. 2020.