Wrote a brief introduction to EBNF.