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