Publications by authors named "D R Tipping"