Lawrence Joseph Walton (1921-2008)