Tumidotheres, a new genus for Pinnotheres margarita Smith, 1869, and Pinnotheres maculatus Say, 1818 (Brachyura: Pinnotheridae). Journal of Crustacean Biology, 9(4) 1989: 672-679. 673 [Zoological Record Volume 126]