Source: http://folk.ntnu.no/haugwarb/Programming/Eiffel/design_by_contract_in_java.pdf