@InProceedings{BeckertSchlager04,
  author =       {Bernhard Beckert and Steffen Schlager},
  title  =       {Software Verification with Integrated Data Type Refinement 
                  for Integer Arithmetic},
  booktitle =    {Proceedings, 
                  International Conference on Integrated Formal Methods, 
                  Canterbury, UK},
  year =         {2004},
  publisher =    {Springer},
  series =       {LNCS 2999},
  pages =        {207--226} 
}