@incollection{Schlager07,
   author        = {Steffen Schlager},
   title         = {Java Integers},
   chapter       = {12},
   part          = {III: Using the KeY System},
   pages         = {481--505},
   editor        = {Bernhard Beckert and Reiner H\"ahnle and Peter H. Schmitt},
   booktitle     = {Verification of Object-Oriented Software: The {KeY} Approach},
   year          = {2007}, 
   series        = {LNCS 4334},
   publisher     = {Springer-Verlag}
}