Н. А. Соколова і Д. В. Прохоренко, «Автоматизированный синтез функциональной структуры системы обработки информации и управления», САУІТ, вип. 4, с. 103–112, Бер 2017.