Releases med Winskel, Glynn (University of Cambridge)