@TechReport{KemperMoerkottePeithner92,
  author =    "A. Kemper and G. Moerkotte and K. Peithner",
  title =     "Object-{O}rientation {A}xiomatised by {D}ynamic {L}ogic",
  institution = "RWTH Aachen",
  year =      "1992",
  number =    "AIB-30-1992",
  url =       "http://aib.informatik.rwth-aachen.de/1992/1992-30.ps.gz",
}