Appendix B: IEEE Document-Type Definitions (DTDs) | part of Music Navigation with Symbols and Layers: Toward Content Browsing with IEEE 1599 XML Encoding | Wiley-IEEE Press books | IEEE Xplore