Bochkovskii, A., і N. Sapozhnikova. 2018. ФОРМАЛІЗАЦІЯ СИСТЕМИ АВТОМАТИЗОВАНОГО КОНТРОЛЮ І ПІДВИЩЕННЯ БЕЗПЕКИ ВИРОБНИЦТВ. Вісник Львівського державного університету безпеки життєдіяльності 15 (Березень), 114-23. https://journal.ldubgd.edu.ua/index.php/Visnuk/article/view/146.