The source of the spec is spec.txt. This is basically a Markdown file, with code examples written in a shorthand form