Added extended description of BNF program