Object Oriented Programming in Eiffel
The book is an introductory text on Eiffel for the new programmer, or for a non object-oriented programmer. It covers the Eiffel language, logical assertions and the design of object-oriented systems.