Studies in ancient technology : 7. Ancient geology. Ancient mining and quarrying. Ancient mining techniques. - Forbes, R. J. (Robert James) 1900- (Brill, 1963)