Инженерные геодезические и маркшейдерские работы: теория и практика. Учебник для вузов