Future supply of oil and gas from the Permian Basin of West Texas and Southeastern New Mexico a report of the Interagency Oil and Gas Supply Project, U.S. Department of the Interior and U.S. Department of Energy (1980)