Applying design by contract (1992)

by Bertrand Meyer
Venue:IEEE Computer