Link to BNF explanation in the README