Sartono Kartodirdjo; Departemen Pendidikan dan Kebudayaan, “Sejarah nasional Indonesia,” , 2020.