A formalisation of the XML infoset
Overview
Introduction
Sketch