Publications by the researcher in collaboration with Heather Winskel (1)