Publications by authors named "John Lucas"