Modulare Spezifikation und Verifikation objektbasierter Programme. - Axel Burandt-van Schoor (Shaker, 2000)