Bertrand Meyer
Interactive Software Engineering Inc., 270 Storke Road, Suite 7 Goleta, CA
Eiffel: the language
Covariant specification
ACM SIGPLAN Notices