The Pumping System of the Colorado River Aqueduct | IEEE Journals & Magazine | IEEE Xplore