Robert Wallace Henderson (1922-2005)