Weakest preconditions for high-level programs (long version) - Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend (Berichte aus dem Department für Informatik der Fakultät II - Informatik, Wirtschafts- und Rechtswissenschaften, 2006)