Indonesia. Direktorat Jenderal Pendidikan Tinggi. Satuan Tugas Pelaksanaan Keputusan Presiden no. 34 tahun 1972