AgileDelta W3C Binary XML Proposal. Theory, Benefits and Requirements for Efficient Encoding of XML Documents