Collaborations between Mimsy Farmer and Manfred Lehmann