No queries for www.ecs.syr.edu/faculty/fawcett/handouts/CSE784/F2001/Lecture6/ISE%20papers/Eiffel's%20Design%20by%20Contract%20Predecessors%20and%20Original%20Contributions%20(Bertrand%20Meyer-12%20Mar%2097).htm