Bibliography

ETL 1992

Bertrand Meyer. Eiffel: The Language. Prentice Hall, 1993, ISBN 0-13-247925-7.

GC book

Richar Jones and Rafael Lins. Garbage Collection. Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, ISBN 0-471-941484-4.

GoF 1995

Erich Gamma, Richard Helm and Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addisson-Wesley, Reading Massachusetts, 1995, ISBN 0201633612.

Goldberg 1984

Adele Goldberg. Smalltalk-80, The Interactive Programming Environment. Addisson-Wesley, Reading Massachusetts, 1984, ISBN 0-201-11372-4.

GR 1983

Adele Goldberg and David Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983, ISBN 0-201-11371-6.

JMJ 1996

Jean-Marc Jézéquel. Object-Oriented Software Engineering with Eiffel. Addison-Wesley, 1999, ISBN 0-201-63381-7. This book is a gentle introduction to Eiffel programming, without the academic verbosity of many of the other titles in this list.

JTM 1999

Jean-Marc Jézéquel, Michel Train and Christine Mingins. Design Patterns and Contracts. Addison-Wesley, 1999, ISBN 0-201-30959-9.

MNCLT 1989

Gérald Masini, Amédéo Napoli, Dominique Colnet, Daniel Léonard et Karl Tombre. Les langages à objets. InterEditions", Paris", 1989, ISBN 2-7296-0275-5.

MNCLT 1991

Gérald Masini and Amédéo Napoli and Dominique Colnet and Daniel Léonard and Karl Tombre. Object-Oriented Languages. Academic Press, New York, 1991, ISBN 0-12-477390-7.

OOSC 1997

Bertrand Meyer. Object-oriented Software Construction, 2nd Ed.. Prentice Hall 1997, 1254 pages, ISBN 0-13-629155-4.

RMJM 2002

Richard Mitchel and Jim McKim. Design by Contract, by Example. Adison-Wesley 2002, 238 pages, ISBN 0-201-63460-0. This title introduces a well structured and very thorough method of using DbC.

TOCBM 2009

Bertrand Meyer. TOUCH OF CLASS - Learning to program well with Objects and Contracts. Springer Verlag 2009, 876 pages, ISBN 978-81-322-0374-2. Unfortunately, this title assumes that you download supporting code and libraries, but the URL in the book is no longer valid.

RS 1994

Bertrand Meyer. Reusable Software: The Base Object-Oriented Component Libraries. Prentice Hall, 1994, 514 pages, ISBN-10: 013-245-499-8 ISBN-13: 978-013-245-499-5

ECMA 367 / 2006

ECMA International 2006. Eiffel: Analysis, Design and Programming Language. https://www.ecma-international.org/wp-content/uploads/ECMA-367_2nd_edition_june_2006.pdf