Paecilaema batman, a new species of Brazilian troglophilous harvestman that exhibits a remarkable color patches variation (Opiliones: Cosmetidae) - Pinto da Rocha, Ricardo; Yamaguti, Humberto (Zoologia, 2013)