Publications by authors named "David R Lucas"