A pure object oriented language desigend by Bertrand Meyer. It's major claim to fame is Design by Contract. Eiffel was basically the second programming language I learned about (after Pascal) when I read Object Oriented Software Construction. With Eiffel I was first introduced to OO.