Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik - Berghammer, Rudolf 1952- (Inst. für Informatik und Praktische Mathematik, 1997)