A specification language for instruction sets, based on attribute grammars, for back-end generators.
["The nML Machine Description Formalism", M. Freericks <mfx@cs.tu-berlin.de> TR TU Berlin, FB20, Bericht 1991/15].