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