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