International dictionary of geophysics : seismology, geomagnetism, aeronomy, oceanography, geodesy, gravity, marine geophysics, meteorology, the earth as a planet and its evolution / editors: S.K. Runcorn ... [et al.] ; with the editorial assistance of D.B. Stone