Text this: An Object-Oriented Approach for the Recursive Numeration and Visualization of the Key Strata of Coal Mines