Object-Oriented Software Engineering with Eiffel 1/e © 1996
Jean-Marc Jezequel