PETROLEUM REFINER - GIBBS,G.B. ED. (GULF PUBLISHING CO., 1958)