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