Design by contract (1992)

by B Meyer
Venue:Advances in object-oriented software engineering