The millipede family Ammodesmidae (Diplopoda, Polydesmida) in western Africa. ZooKeys, 221 2012: 1-17. 11 [Zoological Record Volume 149]