Geology of Lavatubes: Instant caves from liquid rock.
Biology of Lavatubes: The Rock Eaters and other Extremophiles.
Extraterrestrial Caves: The ET Underground and the search for life.