Collaborations between John McCallum and Denis Waldock