S. Ritchie, “A Brief History of 19th Century Deep Sea Sounding”, IHR, vol. 1, no. 1, Jan. 2000.