de Bruijn, N.G. "The Mathematical Language AUTOMATH, Its Usage and Some of its Extensions"

(1970) Symp on Automatic Demonstration, LNM 125, Springer 1970.  

Languages mentioned AUTOMATH {1967} PAL {1970}