Software development using Eiffel: There can be life other than C++ - Richard Wiener