Software development using eiffel there can be life other than C++ - Wiener, Richard (New Jersey Prentice Hall, 1995)