2533.     ORMANDY, W. R.  Oil From Coal.  Jour. Inst. Fuel, vol. 7, 1933, p. 71-79; Chem. Abs., vol. 28, 1934, p. 3873.

        Review of the production of oil from coal by: (1) Straight distillation over a wide range of temperatures; (2) direct hydrogenation; (3) the distillation of coal and the conversion of the coke into water gas, which is, in turn converted to oils.