David Halliday Robert Resnick