Verification and Control of Pressure Transients and Intrusion in Distribution Systems by Steve Harrison, Milton Friedman & M. Britton