Not exactly EBNF, but you get the idea?