A Glossary of Terms Used in Coal Mining by William Stukeley Gresley