Publications by authors named "Ian T D Petty"