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