The new Asiatic genus Vachinius (Carabidae: Callistinae), with three new species. Museo Regionale di Scienze Naturali Bollettino (Turin), 2(1) 1984: 371-382. 376 [Zoological Record Volume 121]