doc-src/manual.bib

 @InProceedings{Bauer-Wenzel:2001,
   author =       {Gertrud Bauer and Markus Wenzel},
   title =        {Calculational reasoning revisited --- an {Isabelle/Isar} experience},
   crossref =     {tphols2001}}
 
+@inProceedings{Berghofer-Bulwahn-Haftmann:2009:TPHOL,
+    author = {Berghofer, Stefan and Bulwahn, Lukas and Haftmann, Florian},
+    booktitle = {Theorem Proving in Higher Order Logics},
+    pages = {131--146},
+    title = {Turning Inductive into Equational Specifications},
+    year = {2009}
+}
+
 @INPROCEEDINGS{Berghofer-Nipkow:2000:TPHOL,
   crossref        = "tphols2000",
   title           = "Proof terms for simply typed higher order logic",
   author          = "Stefan Berghofer and Tobias Nipkow",
   pages           = "38--52"}