Cerita rakyat daerah Irian Jaya (Departemen Pendidikan dan Kebudayaan RI)