Thomas, David A.(David Arthur),1925-