Floyd, Tony Hoarey y David Gries.