Publications by authors named "D R Lucas"