This is an old revision of the document!
[OOSC2] Bertrand Meyer, Object-Oriented Software Construction, Prentice Hall, 1997. ISBN 0-13-629155-4. Available on Reserve in Steacie.
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.