Object Oriented Programming in Eiffel
vig.prenhall.comBy Robert S. Rist, Robert Terwillinger; Prentice Hall PTR, 1995, ISBN 0132059312. Introductory text for new and non-OO programmers; covers language, logical assertions, design of OO systems. [Prentice Hall]