N. Klarlund, A. Møller, and M. I. Schwartzbach, “The DSD Schema Language and its Applications”, BRICS, vol. 7, no. 41, Jun. 2000.