Collaborations between Dan Greenburg and Alan Heim