Automath : a language for mathematics / Nicolaas Govert de Bruijn