Glossary of coal mining terms (and coal miners' jargon) (The Association, 1988)