Höhler, S. (2002). Depth records and ocean volumes: ocean profiling by sounding technology, 1850-1930. History and Technology, 18(2), 119-154.