The compleat miner: or A collection of the laws, liberties, ancient customs, rules, orders, articles and privileges of the several mines and miners in the counties of Derby, Gloucester and Somerset together with the art of dialling, and levelling groves, and with an explication of the terms of art used in this book.