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