Laporan tahunan Direktorat Jenderal Pendidikan Tinggi tahun 1986/1987 - DEPDIKBUD (Departemen Pandidikan dan Kebudayaan Direktorat Jenderal Pendidikan Tinggi, 1987)