1. The mathematical language AUTOMATH, its usage and some of its extensions;de Bruijn,1970
2. A description of Automath and some aspects of its language theory;van Daalen,1973
3. Formalization of classical mathematics in Automath;Zucker,1977
4. A survey of the project AUTOMATH;de Bruijn,1980