Bochkovskii, A. і Sapozhnikova, N. 2018. ФОРМАЛІЗАЦІЯ СИСТЕМИ АВТОМАТИЗОВАНОГО КОНТРОЛЮ І ПІДВИЩЕННЯ БЕЗПЕКИ ВИРОБНИЦТВ. Вісник Львівського державного університету безпеки життєдіяльності. 15, (Бер 2018), 114-123.