XML: The Annotated Specification