Văn bản này: Himpunan keputusan Direktur Jenderal Pendidikan Tinggi.