Eiffel: The Language (Prentice Hall Object-Oriented Series)
A complete description of the Eiffel language, covering some essential elements of the Basic Eiffel Libraries and of the supporting environment.