src/HOL/Word/document/root.bib

explicit commutative additive inverse operation;
more explicit focal point for commutative monoids with an inverse operation

@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},
}