Geodetic deformation monitoring at Pendidikan Diponegoro Dam