Publications by authors named "J C Lucas"