nML - Specification language for instruction sets, based on attribute
grammars, for back-end generators. "The nML Machine Description
Formalism", M. Freericks TR TU Berlin, FB20, Bericht
1991/15.
nML Programming Language
http://www.programming-languages.co.uk/nml.html
Large list of computer programming languages arranged alphabetically, with explanations.