Update README.md

Fixed links to projects' specifications.
Added reference to the language's specification grammar.