Petroleum production : oil production by gas and flooding - Jones, Park J. (Reinhold)