Español, 1971. Nuevos Anillini cavernícolas del N. E. de España (Col. Trechidae). Publicaciones del Instituto de Biología Aplicada, 51: 79-88.
Holotype: Museu de Ciències Naturals (Zoologia) de Barcelona, MZB 78-0552 (“Avenc de Sant Gervàs, Sant Miquel de la Vall, Aransís, Lleida, Espanya“, 1 specimen)
Paratypes: Museu de Ciències Naturals (Zoologia) de Barcelona, MZB 75-5149 + MZB 75-5150 + MZB 78-0553 (“Avenc de Sant Gervàs, Sant Miquel de la Vall, Aransís, Lleida, Espanya“, 3 specimens)
Hypotyphlus sotilloi Español, 1971