Williams, Richard (1933-2019)