The mathematical language AUTOMATH, its usage, and some of its extensions (1970)

by N G de Bruijn
Venue:Symposium on Automatic Demonstration, volume 125 of Lecture Notes in Mathematics