@MastersThesis{Schlager02,
  author        ={Steffen Schlager},
  title         ={{H}andling of {I}nteger {A}rithmetic in
                  the {V}erification of {J}ava {P}rograms},
  school        ={{U}niversity of {K}arlsruhe},
  year          ={2002},
}