a language for mathematics, Department of Mathematics, Eindhoven University of Technology, TH-report 68-WSK-05 (1968)

by N G de Bruijn, Automath