@InProceedings{BeckertSchlager2002,
  author =       {Bernhard Beckert and Steffen Schlager},
  title =        {Integer Arithmetic in the Specification and
		  Verification of {J}ava Programs},
  booktitle = {Proceedings, Workshop on Tools for System Design and
		  Verification (FM-TOOLS), Reisensburg, Germany},
  pages = {7--14},		  
  year = {2002}
}