Eiffel: A language and environment for software engineering

Bertrand Meyer
1988 Journal of Systems and Software  
doi:10.1016/0164-1212(88)90022-2 fatcat:tkt7nnjobnfidlq3ahjo73zvwu