Object oriented programming in Eiffel - Rist, Robert; Terwilliger, Robert (Prentice Hall, 1995)