Donald Ervin Knuth

http://www-cs-faculty.stanford.edu/~knuth/

• Attributgrammatiken (siehe Compilerbau, später)
• Knuth-Bendix-Ordnungen für Terminationsbeweise (siehe http://aprove.informatik.rwth-aachen.de/index.asp?subform=applet.html)
• The Art Of Computer Programming (Band 3: Sorting and Searching, siehe autotool-Aufgaben zu Sortiernetzen)
• TEX, Metafont
• Literate Programming

http://scpd.stanford.edu/knuth/