We thank Bertrand Meyer for giving interesting and entertaining talks that introduced us to the concept of contracts; our employer, the Daedalos group, for providing the resources and patience while we were researching the topic presented here; and our partners and families for bearing with us while we were immersed in it. |