Collaborations between Richard Todd and Denys N. Coop