W. Schützelhofer: "A Semantic-Meta-Model for the Formal Specification and Verification of Business-Domains with XML"; Betreuer/in(nen), Begutachter/in(nen): R. Eier, G. Kappel; Institut für Computertechnik, 2004.