Richard Lewis Cox (1931-2001)