Kraussiinae, a new subfamily for the genera Kraussia Dana, 1852, Palapedia, new genus, and Garthasia, new genus (Crustacea: Decapoda: Brachyura: Xanthidae), with descriptions of two new species from Singapore and the Philippines. Raffles Bulletin of Zoology, 41(1), 12 July 1993: 133-157. 135 [Zoological Record Volume 130]