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].