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