ISO/IEC 25436:2006 provides the full reference for the Eiffel language.
Eiffel is a method of software construction and a language applicable to the analysis, design, implementation and maintenance of software systems. ISO/IEC 25436:2006 covers only the language, with an emphasis on the implementation aspects.