The library has a DOI number provided by zenodo.org. Please see this page:
https://zenodo.org/record/45187 for full citation instructions.
