Object-oriented programming in Eiffel Pete Thomas, Ray Weedon. - Thomas, Pete