Collaborations between Brian Davies and John Glover