SDF

Syntax Definition Formalism

CWI

A language for lexical and syntactic specification. Mentioned in Algebraic Specification, J. A. Bergstra et al eds, ACM Press 1989, Chap 6.

"The Syntax Definition Formalism SDF - Reference Manual", J. Heering et al, Centre for Mathematics & Computer Science, Amsterdam, to appear.