International Commission on Zoological Nomenclature, 1988c. Part 3. Bull. Zool. Nomencl. 45, 23 Sep 1988: 181-248. ≡