E, mathEmatics> A vEry high lEvEl languagE for writing proofs, from EindhovEn, NEthErlands. ["ThE MathEmatical LanguagE AUTOMATH, Its UsagE and SomE of its ExtEnsions", N.G. dEBruijn, in Symp on Automatic DEmonstration, LNM 125, SpringEr 1970]. (2001-07-09)