Reihe Berichte aus der InformatikAlexander Knapp × A Formal Approach to Object-Oriented Software Engineering Alexander KnappShakerSoftcover2001