Redirecting to ECMA standard text at se.ethz.ch/eiffel/standard.pdf.