Collaborations between Steven Horowitz and Harvey Miller