Text this: Горнотехнические здания и сооружения: учебник