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