A complete description of the Eiffel language, covering some essential elements of the Basic Eiffel Libraries and of the supporting environment.