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

SOOSA 2015

Kim Waldén and Jean-Marc Nelson. Seamless Object-Oriented Software Architecture. Prentice Hall, 2015, 438 pages, ISBN 0-13-031303-3. This title is about BON (Business Object Notation), less so about the Eiffel language. BON as a method was developed by the authors of this book. BON is perceived to be simpler than the UML method.

FUNCPTRN 1999

Thomas Kühne. A Functional Pattern System for Object-Oriented Design. Verlag Dr. Kovac, 1999, 346 pages, ISBN 9783860647707. The thesis of this book is that design patterns inspired by functional programming concepts can advance object-oriented design. The code examples given are implemented with Eiffel. Some of the design patterns presented here are not current any more after the Eiffel language adopted 'agents', but the discussions about it are an excellent read nonetheless.