Publications by authors named "Richard P L Wormald"