6 links
Design by contract: building bug-free object-oriented software
archive.eiffel.com
Presentation of Design by Contract, the key to reliable software development.
Eiffel: The Reference (Working draft)
archive.eiffel.com
A very temporary draft of the current state of "Eiffel: The Reference".
Eiffel: The Syntax
gobosoft.com
Describes the programming syntax in with links to the various sections.