1. de Bruijn, N.G., “The mathematical language AUTOMATH, its usage, and some of its extensions”, Symposium on Automatic Demonstration (Versailles, December 1968), Lecture notes in Mathematics, Vol. 125, pp. 29–61, Springer Verlag, 1970.
2. de Bruijn, N.G., “AUTOMATH, a language for mathematics”, Notes (prepared by B. Fawcett) of a series of lectures in the Seminaire de Mathematiques Superieures, les Presses del’Universite de Montreal, 1971.
3. de Bruijn, N.G., “A survey of the project PUTOMATH”, in “To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism”, edited by J.P. Seldin and H.R. Hindley, pp. 579–606, Academic Press, 1980.
4. van Daalen, D.T., “The language theory of AUTOMATH”, Doctoral thesis, Eindhoven Technological University (1980).
5. Jutting, L.S. van Benthem, “Checking Landau’s ”Grundlagen“ in the AUTOMATH system”. Doctoral thesis, Eindhoven University of Technology 1977. Mathematical Centre Tracts nr. 83, Math. Centre Amsterdam 1979.