Rather than adding these to the local biblio, I'd prefer adding them to specref: https://github.com/tobie/specref .