David added missing citations  about 8 years ago

Commit id: 7a9411fa7d09a7a1c0475ab760865b5b36932942

deletions | additions      

No changes recorded