Historische Quellen zur Termination

• Alan Turing: Checking a large routine, 1949, http://www.turingarchive.org/browse.php/B/8

• Zohar Manna and Steven Ness: On the termination of Markov algorithms, 1970. Dallas Lankford: On Proving term rewriting systems are Noetherian, 1979.

  siehe http://perso.ens-lyon.fr/pierre.lescanne/not_accessible.html#termination

• Nachum Dershowitz: 33 Examples of Termination, 1995. http://www.math.tau.ac.il/~nachumd/papers/printemp-print.pdf

• Intl. Workshops on Termination (seit 1993) http://termination-portal.org/wiki/WST