Богдан, Ирина Валентиновна. 2018. «ВЕРИФІКАЦІЯ МОДЕЛЕЙ ОБ’ЄКТНО-ОРІЄНТОВАНИХ ПРОГРАМ: ПЕРЕВІРКА НА НЕСУПЕРЕЧЛИВІСТЬ ТА УЗГОДЖЕНІСТЬ». Технічні науки та технології, вип. 2(8) (Лютий):110-16. http://tst.stu.cn.ua/article/view/113051.