También es autor de la referencia definitiva sobre el lenguaje Eiffel ("Eiffel: The Language").