Transformation of compressed air pressure for mining machines - Smorodin , S. (Journal of Mining Institute, 1967)