Astek : jaminan sosial bagi tenaga kerja Indonesia (Departemen Penerangan, 1980)