Pipe lines. Temperatures of natural-gas pipe lines and seasonal variations of underground temperatures; by W. M. Deaton and E. M. Frost, jr.