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