@Article{        HaehnleMenzelEA98,
  author = 	 {Reiner H\"ahnle and Wolfram Menzel and Peter H. Schmitt},
  title = 	 {Integrierter deduktiver {S}oftware-{E}ntwurf},
  journal = 	 {KI},
  number =       {4},
  volume =       {98},
  pages =        {40--41},		   
  year = 	 {1998},
  note = 	 {In German}
}