Allen, William B. (William Burrows), 1915-2009