A mechanical proof of the Church-Rosser theorem - Shankar, N. (1985)