Publications by 'James Ladyman'