Pipe lines. Protective coatings for underground piping systems [abstracts and summaries].