William R. Cook: A Proposal for Making Eiffel Type-Safe. ECOOP 1989: 57-70