Object-oriented programming in eiffel - Thomas, Peter (Addison-Wesley, 1995)
Includes index.