Production of high-Btu oil gases from crude shale oils - Shultz, E. B., jr (Institute of Gas Technology. Interim report, 1954)