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

by N G de Bruijn
Venue:Proc. of Symposium on Automatic Demonstration