A taxonomic revision of the ant genus Myrmica Latreille, 1804 from the Himalaya (Hymenoptera, Formicidae). Entomologica Basiliensia, 23, 1 September 2001: 237-276. 257 [Zoological Record Volume 138]