Penduduk DKI Jakarta : hasil Survei penduduk antar sensus 1985 = Population of DKI Jakarta : results of the 1985 Intercensal population survey (Seri/series Supas, 1987)