Peter Sanders: A Case Study in Object Oriented Programming: Algebraic Structures in Eiffel. TOOLS (11) 1993: 379-388