Symp on Automatic Demonstration, LNM 125, Springer 1970.
(1970)
de Bruijn, N.G. (1970)
de Bruijn, N.G. "The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions"