Богдан, И.В. 2018. ВЕРИФІКАЦІЯ МОДЕЛЕЙ ОБ’ЄКТНО-ОРІЄНТОВАНИХ ПРОГРАМ: ПЕРЕВІРКА НА НЕСУПЕРЕЧЛИВІСТЬ ТА УЗГОДЖЕНІСТЬ. Технічні науки та технології. 2(8) (Лют 2018), 110–116.