de Bruijn, Nicolas G. "A survey of the project AUTOMATH" In J. P. Seldin and J. R. Hindley, editors, To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 589--606, Academic Press, 1980.

Languages mentioned

• AUTOMATH {1967}
• AUT-PI {1969}
• AUT-QE {1973}