Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik - Berghammer, Rudolf 1952- (Institut für Informatik und Praktische Mathematik <Kiel>: Bericht, 1997)