ES5 specification; JSON grammar; javascript grammar (initial version)