Tutorial on reading the ECMAScript specification