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