Publications by authors named "D J Lucas"