Note: there is a previous Recommendation of 1999 that is superceeded by these
Precise, graph based definition of the semantics
This is primarily for implementers
Note: this is not part of the W3C Recommendation track!