How to Read the ECMAScript Specification