src/Doc/manual.bib

   editor = 	 {G. Sutcliffe and A. Voronkov},
   volume = 	 3835,
   series = 	 LNCS,
   publisher = Springer}
 
+@manual{isabelle-datatypes,
+  author	= {Julian Biendarra and Jasmin Christian Blanchette and Martin Desharnais and Lorenz Panny and Andrei Popescu and Dmitriy Traytel},
+  title		= {Defining (Co)datatypes and Primitively (Co)recursive Functions in {Isabelle\slash HOL}},
+  institution	= {TU Munich},
+  note          = {\url{http://isabelle.in.tum.de/doc/datatypes.pdf}}}
+
 @book{Bird-Wadler,author="Richard Bird and Philip Wadler",
 title="Introduction to Functional Programming",publisher=PH,year=1988}
 
 @book{Bird-Haskell,author="Richard Bird",
 title="Introduction to Functional Programming using Haskell",

   booktitle = {5th International Conference on Interactive Theorem Proving, ITP 2014},
   series = LNCS,
   volume = 8558,
   pages = "93--110"
 }
-
-@manual{isabelle-datatypes,
-  author	= {Jasmin Christian Blanchette and Martin Desharnais and Lorenz Panny and Andrei Popescu and Dmitriy Traytel},
-  title		= {Defining (Co)datatypes in Isabelle/HOL},
-  institution	= {TU Munich},
-  note          = {\url{http://isabelle.in.tum.de/doc/datatypes.pdf}}}
 
 @inproceedings{why3,
   author = {Fran\c{c}ois Bobot and Jean-Christophe Filli\^atre and Claude March\'e and Andrei Paskevich},
   title = {{Why3}: Shepherd Your Herd of Provers},
   editor = "K. Rustan M. Leino and Micha\l{} Moskal",