British Pioneers of the Geology of Gibraltar, Part 2: Cave Archaeology and Geological Survey of the Rock, 1863 to 1878 · Study