Petroleum refining : technology and economics - Gary, James H., 1921- (M. Dekker, 1994)