Collaborations between Bruce Surtees and Harvey Miller