Лушев, А.А., and О.Н. Половикова. “ФОРМАЛЬНАЯ И КОНТЕКСТНАЯ ПРОВЕРКА ТЕКСТОВЫХ ДОКУМЕНТОВ”. Труды семинара по геометрии и математическому моделированию0, no. 2 (December 1, 2016): с. 36-38. Accessed December 14, 2025. https://journal.asu.ru/psgmm/article/view/2052.