Sus experiencias con la tecnología de objetos con el lenguaje Simula y su amplio trabajo con tipos abstractos de datos y especificaciones formales, fueron claves en la base del desarrollo de Eiffel.