Increase of efficiency of drilling machines utilization during drilling of small-diameter boreholes at mica mines - Khmyznikov , P. (Journal of Mining Institute, 1984)