Eiffel Object-oriented Programming - Tyrrell, A J (Macmillan, 1995)