diff -r d1523393dd5a -r 69c78980c8a4 ProgTutorial/document/root.bib
--- a/ProgTutorial/document/root.bib	Thu May 23 00:58:11 2019 +0100
+++ b/ProgTutorial/document/root.bib	Tue Jun 11 23:31:09 2019 +0100
@@ -1,21 +1,18 @@
 @Misc{Bornat-lecture,
   author =	 {R.~Bornat},
   title =	 {In {D}efence of {P}rogramming},
-  howpublished = {Available online via
-                  \url{http://www.cs.mdx.ac.uk/staffpages/r_bornat/lectures/ revisedinauguraltext.pdf}},
   month =	 {April},
   year =	 2005,
   note =	 {Corrected and revised version of inaugural lecture,
                   delivered on 22nd January 2004 at the School of
                   Computing Science, Middlesex University}
 }
-@Misc{wenzel-technology,
+@manual{wenzel-technology,
   author = {M.~Wenzel},
-  title = {Further Scaling of Isabelle Technology},
-  howpublished = {http://sketis.net},
+  title = {{F}urther {S}caling of {I}sabelle {T}echnology},
+  note = {\url{http://sketis.net}},
   month = {April},
-  year = {2018},
-  note = {},
+  year = {2018}
 }
 
 @Book{isa-tutorial,
@@ -23,20 +20,23 @@
   title		= {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},
   publisher	= {Springer},
   year		= 2002,
-  note		= {LNCS Tutorial 2283}}
+  note		= {LNCS Tutorial 2283}
+}
 
 @book{paulson-ml2,
   author	= {Lawrence C. Paulson},
   title		= {{ML} for the Working Programmer},
   year		= 1996,
   edition	= {2nd},
-  publisher	= {Cambridge University Press}}
+  publisher	= {Cambridge University Press}
+}
 
 @manual{isa-imp,
   author	= {M.~Wenzel},
   title		= {The {Isabelle/Isar} Implementation},
   institution	= {Technische Universit\"at M\"unchen},
-  note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}
+  note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}
+}
 
 
 @book{GordonMilnerWadsworth79,