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