@TechReport{AhrendtBaarEA00,
  author =       {Wolfgang Ahrendt and Thomas Baar and Bernhard Beckert
                  and Martin Giese and Elmar Habermalz and Reiner
                  H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
  title =        {The {KeY} Approach: {I}ntegrating Object Oriented
                  Design and Formal Verification},
  institution =  {University of Karlsruhe, Department of Computer Science},
  type =         {Technical Report},
  number =       {2000/4},
  month =        jan,
  year =         {2000}
}