Add paper & minor changes
Fix Peyton-Jones surname & **change citation key**