Publications by authors named "R J Vaughan"