Collaborations between Doris Mudie and Alan Heim