Murwanto, H.; Purwoarminta, A. The Ancient Borobudur Lake, History, and Its Evidences to Develop Geo-Archeotourism in Indonesia. Indonesian J. Geosci. 2019, 6, 103-113.