@inproceedings{Poetzsch-HeffterMueller97b,
  AUTHOR =	 {Poetzsch-Heffter, A. and M{\"u}ller, P.},
  TITLE =	 {A Logic for the Verification of Object-Oriented Programs},
  YEAR =	 {1997},
  EDITOR =	 {Berghammer, R. and Simon, F.},
  BOOKTITLE =	 {Programming Languages and Fundamentals of  Programming},
  ORGANIZATION = {Christian-Albrechts-Universit\"at Kiel},
  pages =        {31--52},
  NOTE =	 {Technical Report 9717}
}