Registrasi aneka industri Propinsi Jawa Tengah (Statistik industri (Indonesia. Kantor Statistik Propinsi Jawa Tengah))