Lanzamientos por Gabbay, John (University of Southampton, UK)