Meyer (1992b)

Meyer B. (1992b)

Applying Design by Contract

IEEE Computer 25(10), pp. 40-51