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