Archaeologist, naturalist, caver and geologist who explored the Mendips' underground labyrinths and pioneered many of the techniques used by modern cavers