add a bibtex file with IMS's standard books for crossreferencing