А. Г. Иванов, “Распознавание приближенного вхождения слов на машине Тьюринга в реальное время”, Изв. АН СССР. Сер. матем., 48:3 (1984), 520–568; A. G. Ivanov, “Recognition of an approximate occurrence of words on a Turing machine in real time”, Math. USSR-Izv., 24:3 (1985), 479–522