This is the complete specification. It states every rule precisely and is written for implementers and for settling questions. To learn the language, read the book or take the tutorial.