Wang, Bing, "A Formal Specification of G-DTD: A Conceptual Model to Describe XML Documents", , 2011