@inproceedings{ICEIS-v3-2004-SchuetzelhoferG,
	author        = "Wolfgang Schuetzelhofer and Karl M. Göschka",
	booktitle     = "{Proceedings of the Sixth International Conference on Enterprise Information Systems, Volume 3}",
	pages         = "209--216",
	title         = "{Formal Specification and Verification of XML-Based Business Domain Models}",
	year          = 2004,
}