Object-Oriented Software Construction [OOSC2] by Bertrand Meyer, Prentice Hall, 1997. ISBN 0-13-629155-4. Available on Reserve in Steacie Library.
Touch of Class: Learning to Program Well with Objects and Contracts by Bertrand Meyer, Springer-Verlag, 2009, ISBN-13: 978-3540921448. Available online in Steacie Library. An introduction to computational thinking using Eiffel.
Eiffel: Analysis, Design and Programming Language by Ecma International, 2006