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)