Publications by authors named "David Lucas"