Applying design by contract. (1992)

by B Meyer
Venue:IEEE Computer,