Collaborations between John Mills and Arthur Benjamin