src/HOL/Extraction/document/root.bib

   editor =	 {Didier Galmiche},
   volume =	 37,
   series = 	 {Electronic Notes in Theoretical Computer Science},
   publisher =	 {Elsevier Science Publishers}
 }
+
+@Article{Wenzel-Wiedijk-JAR2002,
+  author = 	 {Markus Wenzel and Freek Wiedijk},
+  title = 	 {A comparison of the mathematical proof languages {M}izar and {I}sar},
+  journal = 	 {Journal of Automated Reasoning},
+  year = 	 2002,
+  volume =	 29,
+  number =	 {3-4},
+  pages =	 {389-411}
+}