Pipe lines. Crude oil and gasoline pipe lines in United States. May 1, 1941; by G. R. Hopkins and F. S. Lott.