Richard Oexmann Devins

August 9, 1937  -  July 2, 2006