Nils Klarlund, Anders Møller, Michael I. Schwartzbach. DSD: A schema language for XML. In Mats Per Erik Heimdahl, editor, Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. pages 101-111, ACM, 2000. [doi]
Abstract is missing.