Tracking of divergence (discussion).

thesis.bib

@@ -768,4 +768,15 @@
   booktitle = {Annals of Mathematics},
   pages     = {346--366},
   volume    = {33}
+}
+
+# Termination analysis.
+@article{Walther94,
+  author    = {Christoph Walther},
+  title     = {On Proving the Termination of Algorithms by Machine},
+  journal   = {Artif. Intell.},
+  volume    = {71},
+  number    = {1},
+  pages     = {101--157},
+  year      = {1994}
 }