Indonesia. Irian Jaya - Pantai Utara (Tentara Nasional Indonesia, Angkatan Laut, Dinas Hidro-Oseanografi, 1971)