diff -r 92f6a772e013 -r 4172c0743cf2 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Mon Sep 28 01:21:27 2009 +0200
+++ b/ProgTutorial/Intro.thy	Mon Sep 28 23:52:06 2009 +0200
@@ -12,7 +12,7 @@
   pyramid, but at the top. It's creative design of the highest order. It \\
   isn't monkey or donkey work; rather, as Edsger Dijkstra famously \\
   claimed, it's amongst the hardest intellectual tasks ever attempted.''} \\[1ex]
-  Richard Bornat, In Defence of Programming \cite{Bornat-lecture}
+  Richard Bornat, In {\em Defence of Programming}. \cite{Bornat-lecture}
   \end{flushright}
 
   \medskip