Лушев, А.; Половикова, О. ФОРМАЛЬНАЯ И КОНТЕКСТНАЯ ПРОВЕРКА ТЕКСТОВЫХ ДОКУМЕНТОВ. ГиММ 2016, с. 36-38.