@InProceedings{Beckert:IFM04-207,
  author =       "Bernhard Beckert and Steffen Schlager",
  title =        "Software Verification with Integrated Data Type
                 Refinement for Integer Arithmetic",
  year =         "2004",
  pages =        "207--226",
  ee =           "http://springerlink.metapress.com/content/873jlmyw867clpy8",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/ifm2004.pdf",
  editor =       "Eerke A. Boiten and John Derrick and Graeme Smith",
  booktitle =    "Integrated Formal Methods, 4th International
                 Conference, {IFM} 2004, Canterbury, {UK}, April 4--7,
                 2004, Proceedings",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "2999",
  ISBN =         "3-540-21377-5",
}