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

by N G de Bruijn
Venue:In: Proceedings of Symposium on Automatic Demonstration