Sejarah Daerah Jawa Tengah (departemen Pendidikan dan kebudayaan, 1994)