An Invitation to Eiffel
   On-line introduction to the Eiffel method and language.
   http://archive.eiffel.com/doc/online/eiffel50/intro/language/

Design by contract: building bug-free object-oriented software
   Presentation of Design by Contract, the key to reliable software development.
   http://archive.eiffel.com/doc/manuals/technology/contract/

ELKS 95: Table of contents
   Eiffel Library Kernel Standard, as of 1995.
   http://archive.eiffel.com/doc/manuals/library/elks/book.fm.html

Eiffel's Design by Contract: Predecessors and Original Contributions
   By Bertrand Meyer.
   http://www.ecs.syr.edu/faculty/fawcett/handouts/CSE784/F2001/Lecture6/ISE%20papers/Eiffel's%20Design%20by%20Contract%20Predecessors%20and%20Original%20Contributions%20(Bertrand%20Meyer-12%20Mar%2097).htm

Eiffel: An Advanced Introduction
   By Alan A. Snyder and Brian N. Vetter.
   http://www.comp.ufla.br/~monserrat/eiffel/advanced_introduction/eiffel.html

Eiffel: The Reference (Working draft)
   A very temporary draft of the current state of "Eiffel: The Reference".
   http://archive.eiffel.com/nice/language/

Eiffel: The Syntax
   Describes the programming syntax in with links to the various sections.
   http://www.gobosoft.com/eiffel/syntax/

Object-Oriented Style Rules
   ISE's own style rules.
   http://archive.eiffel.com/doc/manuals/language/style/