Лушев, А. and Половикова, О. 2016. ФОРМАЛЬНАЯ И КОНТЕКСТНАЯ ПРОВЕРКА ТЕКСТОВЫХ ДОКУМЕНТОВ. Труды семинара по геометрии и математическому моделированию. 2 (Dec. 2016), с. 36-38.