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