Minería: topografía subterránea, galerias, túneles, subsuelo - Taton, Robert (Paraninfo, 1981)