Stanton Everett Walker (1933-2012)