Indonesia. Direktorat Jenderal Pendidikan Tinggi.