Wang, B. (2011). A Formal Specification of G-DTD: A Conceptual Model to Describe XML Documents.