Petroleum refining : Technology and economics - Gary, James H. 1921- (Chemical processing and engineering ;, 1975)