@misc{Koh:03b,
  year = 2005,
  author = {Kohlenbach, Ulrich},
  note = {Draft, December 2005, ii+395pp,
          http://www2.mathematik.tu-darmstadt.de/{$\sim$}kohlenbach/newcourse.ps.gz},
  title = {Proof Interpretations and the Computational Content of Proofs},
}