Eiffel: programming for reusability and extendibility
Bertrand Meyer · ACM SIGPLAN Notices · 1987
Eiffel is a language and environment intended for the design and implementation of quality software in production environments. The language is based on the principles of object-oriented design, augmented