Collaborations between Brian Herlihy and Julian Doyle