Himpunan keputusan Direktur Jenderal Pendidikan Tinggi 1980.