No Interface Without Contract? – Writing down Pre- and Postconditions

Part 4 of the series "No interface without contract?" which introduces Microsoft Code Contracts. This part compares five ways of writing down pre- and postconditions.