Automath a language for mathematics - Bruijn, N. G. de, 1918-2012 (Séminaire de mathématiques supérieures ;, 1973)