Сегодня пришли мне на e-mail со следующим комментарием:
Quote
For Church-Rosser theorem see pages 71-73: there is quite an accurate proof; but the proof idea is a bit different.
Another source may be the article, attached to this letter. It's in English, but the proof method very
close to the one I used. See pages 31-35 (and especially 34-35).
Под "article" имеется в виду PDF-файл, в первом же абзаце говорится о djvu.
Кстати, загадка: где в сообщении спрятались 2 ошибки?