Desmia harveyi J. Agardh, 1876: 356 (type locality: Tonga).—Jaasund, 1976: 75, fig. 150, pl. 6.— Lawson, 1980: 41.— Banaimoon, 1986: 130, fig. 17.
Chondrococcus harveyi (J. Agardh) De Toni, 1905: 1676.—Isaac, 1967: 79.— W. Isaac & F. Isaac, 1968: 23, pl. 4: A.— Jaasund, 1977c: 418.— Knutzen & Jaasund, 1979: 3.— Farghaly, 1980: 161, pl. XIX: fig. 4.— Lawson, 1980: 39.— Moorjani & Simpson, 1988: 27, pl. 53.
Portieria harveyi (J. Agardh) P. Silva in P. Silva, Meñez, & Moe, 1987: 129.
INDIAN OCEAN DISTRIBUTION: Kenya, Madagascar, Tanzania, Yemen.