20. Yüzyılda Su İşleri ve Antalya - Büyükyıldırım, Galip (Devlet Su İşleri Genel Müdürlüğü, 2017)