BibTeX.ebnf 1.25 KB