Object-oriented software engineering with Eiffel - Jézéquel, Jean-Marc, 1964- (Addison-Wesley Eiffel in practice series, 1996)