Added and fixed DOI numbers for many bibliographic entries.
Authored by: bugman 2012-08-28
Parent: [r17366]
Child: [r17368]
