A history of diving from the earliest times to the present date - Heinke, John Williams (Heinke and Davis, 1873)