src/HOL/Word/document/root.bib

+@InProceedings{dawson-avocs07,
+  author =       {Jeremy Dawson},
+  title =        {Isabelle Theories for Machine Words},
+  booktitle =    {Seventh International Workshop on Automated Verification of Critical Systems (AVOCS'07)},
+  pages =        {15},
+  year =         {2007},
+  editor =       {Michael Goldsmith and Bill Roscoe},
+  series =       {Electronic Notes in Theoretical Computer Science},
+  address =      {Oxford},
+  month =        Sep,
+  publisher =    {Elsevier},
+  note =         {to appear},
+}
+