What Can We Do about the Unnecessary Diversity
of Notation for Syntactic Definitions?
CACM November, 1977
Wirth, N.
