History

for article: Church–Rosser theorem