Bergstra, J.A. et al eds Algebraic Specification, , ACM Press 1989

• Heering, J. et al, (1989) Heering, J. et al, "The Syntax Definition Formalism SDF - Reference Manual"