@STRING{lnai = "LNCS"}
@STRING{spv = "Springer-Verlag"}
@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 =       "Manuel Ojeda-Aciego and Inma P. de Guzm\'{a}n and
                  Gerhard Brewka and Lu\'{\i{}}s Moniz Pereira",
  series =       lnai,
  pages =        "21--36",
  volume =       1919,
  month =        oct,
  year =         "2000",
  booktitle =    "Proc.\ 8th European Workshop on Logics in AI (JELIA), Malaga, Spain",
  publisher =    spv,
  note =         "{URL:} 
  \texttt{ftp://ftp.cs.chalmers.se/pub/users/reiner/jelia.ps.gz}" 
}