John Prager.
  <i><b>On Turing</b></i>.
  Wadsworth, 2001.
  <A HREF="http://vis.cs.brown.edu/results/bibtex/Prager-2001-OTU.bib">(bibtex:
  Prager-2001-OTU)</A>.<br />