International petroleum encyclopedia. (Petroleum Pub., 1975)