More information:
An introduction to the ASF+SDF formalism is given in Chapter 1 of LanguagePrototyping.