@InProceedings{Haehnle00a,
  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",
  editor =       "Gerhard Brewka and Lu\'{\i{}}s Moniz Pereira",
  series =       lnai,
  pages =        "??--??",
  month = oct,
  year =         "2000",
  booktitle =    "Proc.\ 8th European Workshop on Logics in AI (JELIA)",
  publisher =    {Springer},
  note =         "{URL:}
 \texttt{ftp://ftp.cs.chalmers.se/pub/users/reiner/jelia.ps.gz}"
 }