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