Jean-Marc Jézéquel Bertrand Meyer Design by Contract: The Lessons of Ariane. 129-130 1997 30 IEEE Computer 1 db/journals/computer/computer30.html#JezequelM97