Title: A different proposal for making Eiffel type-consistent
First published: 1995