HDMI: Add some citations. These are not yet in the bibtex file.