Robert Wallace Henderson 1922-2005