Dichogaster (Diplothecodrilus) machadoi Omodeo, 1973

Dichogaster machadoi Omodeo, 1973 Publ. Cult. Co. Diam. Angola 87: 29.

Dichogaster (Diplothecodrilus) machadoi: Csuzdi 2010: 76.