Collaborations between Gerald Thomas and Arthur Benjamin