1964
2 works on record
Design patterns and contracts
2000
Object-oriented software engineering with Eiffel
1996