Coal mining in the eighteenth and nineteenth centuries - Lewis, Brian (Longman, 1971)