@InCollection{	  BeckertSchlager2002,
  author	= {Bernhard Beckert and Steffen Schlager}, 
  title         = {Integer Arithmetic in the Specification and
		  Verification of Java Programs},
  editor	= {Dominik Haneberg and Gerhard Schellhorn and Wolfgang
		  Reif},
  booktitle     = {Proceedings, Workshop on Tools for System Design and
		   Verification (FM-TOOLS), Reisensburg, Germany},
  year		= 2002,
  series	= {Technical Report},
  pages		= {7--14},
  month		= jul,
  number	= {2002--11},
  organization	= {University Augsburg},
}