Broken BibTeX keys in the docs

Some bibliographic citations in the docs are still missing. Double check the BibTeX keys.