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