@misc{indiciae5c10b90ddbcd, title = {Internal Pipe Repair System}, author = {Carter, J}, year = {2013}, url = {https://www.osti.gov/biblio/1034354}, note = {Source identifier: 1034354} }