Douglas James Shearman, 1918–2003