Jean-Marc Jézéquel

• Object-oriented software engineering with Eiffel