Object-oriented programming in Eiffel : instructor'guide - Thomas, Pete (Addison-Wesley, 1995)