La definición del lenguaje Eiffel es un estándar internacional de la ISO.