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