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

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

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

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

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

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/

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

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

Why Eiffel?  
   Advocacy tutorial, code samples, text comparison to other languages (Ada, Sather; C++, Java; CLOS, Smalltalk), references, links to resources.
   http://www.cs.unc.edu/~smithja/MIMS/DataModel/research/WhyEiffel.html