Klarlund, N.; Møller, A.; Schwartzbach, M. I. The DSD Schema Language and Its Applications. BRICS 2000, 7.