Meyer (1992b)
Meyer B. (1992b)
Applying Design by Contract
IEEE Computer
25(10), pp. 40-51