@phdthesis{TUW-107817, author = {Sch{\"u}tzelhofer, Wolfgang}, title = {A Semantic-Meta-Model for the Formal Specification and Verification of Business-Domains with XML}, school = {Institut f{\"u}r Computertechnik}, year = {2004} }