Richard Stevens (1912-2000)