On the mining operations of the ancient Romans. - Hirst, Joseph