Software development using Eiffel : there can be life other than C++ - Wiener, Richard (Prentice Hall PTR, 1995)
Includes index.