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