Heaviside, Robert D., 1917-