A reference manager based on the BibTeX file format