The miners dictionary. Explaining not only the terms used by miners, but also containing the theory and practice of that most useful art of mineing, more especially of lead-mines door William Hooson