Petroleum refinery distillation. - WATKINS, R. N. (Gulf, 1973)