Coal mining in the eighteenth and nineteenth centuries. - Lewis, Brian, 1936- (Seminar studies in history, 1971)