Precision measurement of ocean depth - Ewing, Maurice ([s.n.], 1954)