Source: https://www.st.cs.uni-saarland.de/edu/testingdebugging10/slides/37-DesignByContract.pdf