Bruijn, N. G. d. (1973). Automath: A language for mathematics. Presses de l'Univ. de Montréal.
Chicago-Zitierstil (17. Ausg.)Bruijn, Nicolaas Govert de. Automath: A Language for Mathematics. Montreal: Presses de l'Univ. de Montréal, 1973.
MLA-Zitierstil (9. Ausg.)Bruijn, Nicolaas Govert de. Automath: A Language for Mathematics. Presses de l'Univ. de Montréal, 1973.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.