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