Unser Tutor empfahl die Materialien der Universität Rostock, die das Hoare-Kalkül recht ausführlich erklären. Gefunden habe ich dazu die Folien eines Vortrages sowie ein längeres, sehr anschauliches Skript.