Pejabat-pejabat pimpinan di lingkungan Direktorat Jenderal Pendidikan Tinggi, Departemen Pendidikan dan Kebudayaan (Departemen Pendidikan dan Kebudayaan, Direktorat Jenderal Pendidikan Tinggi, 1975)