International petroleum encyclopedia.