William R. Cook A Proposal for Making Eiffel Type-Safe. 57-70 1989 ECOOP db/conf/ecoop/ecoop89.html#Cook89