The mine map repository : a source of mine data - Edgertgon, Curtis D. (Information circular (United States. Bureau of Mines) ;, 1974)