Bertrand Meyer Object-Oriented Software Construction, 2nd Edition Prentice-Hall 1997 0-13-629155-4 http://www.eiffel.com/doc/oosc/page.html