Releases med Ladyman, James (University of Bristol, UK)