The world petroleum industry : the market for petroleum and petroleum products in the 1980's