SDF
Syntax Definition Formalism. A language for lexical and syntactic specification.
["The Syntax Definition Formalism SDF - Reference Manual", J. Heering et al, Centre for Math & CS, Amsterdam].
["Algebraic Specification", J.A. Bergstra et al eds, ACM Press 1989, Chap 6. To appear].