Publications by authors named "David Michael Vaughan"