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