Gasoline. Production of gasoline by cracking heavier oils [with selected bibliography]; by E. W. Dean and W. A. Jacobs.