Thomas, D. J.(Derek John),1933-