Davide Grossi added missing citations to bibliography  about 8 years ago

Commit id: 7db931fb3769bd08d6d2fa71263c0ff6c8c62708

deletions | additions      

No changes recorded