Lanzamientos por Winskel, Glynn (University of Cambridge)