ЛУШЕВ, А.; ПОЛОВИКОВА, О. ФОРМАЛЬНАЯ И КОНТЕКСТНАЯ ПРОВЕРКА ТЕКСТОВЫХ ДОКУМЕНТОВ. Труды семинара по геометрии и математическому моделированию, n. 2, p. с. 36-38, 1 дек. 2016.