The Oklahoma Petroleum Industry (Oklahoma horizons series)