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