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