a library (and bibtex database) of documents for our HPC project