Himpunan keputusan menteri pendidikan dan kebudayaan republik Indonesia tentang badan pelaksana harian PT... - INDONESIA, Depdikbud Dirjen Pendidikan Tinggi (Dirjen Pendidikan Tinggi Depdikbud, 1994)