A general Church-Rosser theorem (1978)

by P Aczel