• Lectotype designation: Dlussky, 1969a: 220.
• [Also described as new by Mayr, 1880: 27.]
• Dlussky, 1969a: 220 (q.); Dlussky et al., 1990: 143 (m.)
• Combination in Formica (Proformica): Ruzsky, 1905b: 421; Emery, 1909b: 203.
• Combination in Proformica: Kuznetsov-Ugamsky, 1927b: 28.
• Combination in Proformica (Alloformica): Dlussky, 1969a: 219.
• Combination in Alloformica: Dlussky et al., 1990: 143.
• Status as species: Mayr, 1880: 27; André, 1882c: 178 (in key); Nasonov, 1889: 21; Dalla Torre, 1893: 192; Forel, 1904c: 384; Ruzsky, 1905b: 421; Emery, 1909b: 203; Wheeler, 1913i: 545 (redescription); Emery, 1925d: 243; Kuznetsov-Ugamsky, 1927b: 28 (in key); Kuznetsov-Ugamsky, 1928a: 10; Dlussky, 1969a: 219 (redescription); Dlussky et al., 1990: 143; Agosti, 1994b: 99; Bolton, 1995b: 61.

Obsolete combinations

• Formica aberrans

Citations

• Agosti, D. 1994b. The phylogeny of the ant tribe Formicini (Hymenoptera: Formicidae) with the description of a new genus. Systematic Entomology 19:93-117. PDF
• André, Ern. 1882c. Les fourmis [part]. Pp. 153-232 in: André, Edm. 1882. 1881-1886. Species des Hyménoptères d'Europe et d'Algérie. Tome Deuxième. Beaune: Edmond André, 919 + 48 pp. PDF
• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Dalla Torre, K. W. 1893. Catalogus Hymenopterorum hucusque descriptorum systematicus et synonymicus. Vol. 7. Formicidae (Heterogyna). Leipzig: W. Engelmann, 289 pp. PDF
• Dlussky, G. M. 1969a. Ants of the genus Proformica Ruzs. of the USSR and contiguous countries (Hymenoptera, Formicidae). [In Russian.]. Zoologicheskii Zhurnal 48:218-232. PDF
• Dlussky, G. M.; Soyunov, O. S.; Zabelin, S. I. 1990. Ants of Turkmenistan. [In Russian.]. Ashkabad: Ylym Press, 273 pp. PDF
• Emery, C. 1909b. Beiträge zur Monographie der Formiciden des paläarktischen Faunengebietes. (Hym.) Teil VII. Deutsche Entomologische Zeitschrift 1909:179-204. PDF
• Emery, C. 1925d. Hymenoptera. Fam. Formicidae. Subfam. Formicinae. Genera Insectorum 183:1-302. PDF
• Forel, A. 1904c ("1903"). Note sur les fourmis du Musée Zoologique de l'Académie Impériale des Sciences à St. Pétersbourg. Ezhegodnik Zoologicheskago Muzeya 8:368-388. PDF
• Kuznetsov-Ugamsky, N. N. 1927b. Zur Kenntnis der Gattung Proformica Ruzsky. Societas Entomologica. Stuttgart 42:26-28. PDF
• Kuznetsov-Ugamsky, N. N. 1928a. Beiträge zur Ameisenfauna Mittelasiens. I. Die Gattung Proformica, Ruzsky 1903. Zoologischer Anzeiger 75:7-23. PDF
• Mayr, G. 1877a. Formicidae. [In Russian.]. In: Fedchenko, A. P. 1877. Travels in Turkestan. Vol. 2, Div. 5, No. 7. [In Russian.]. Izvestiya Imperatorskago Obshchestva Lyubitelei Estestvoznaniya Antropologii i Etnografii pri Imperatorskom Moskovskom Universitete 26:i-iii, 1-20 (+1).
• Mayr, G. 1880. Die Ameisen Turkestan's, gesammelt von A. Fedtschenko. Tijdschrift voor Entomologie 23:17-40. PDF
• Nasonov, N. V. 1889. Contribution to the natural history of the ants primarily of Russia. 1. Contribution to the ant fauna of Russia. [In Russian.]. Izvestiya Imperatorskago Obshchestva Lyubitelei Estestvoznaniya Antropologii i Etnografii pri Imperatorskom Moskovskom Universitete 58:1-78.
• Ruzsky, M. 1905b. The ants of Russia. (Formicariae Imperii Rossici). Systematics, geography and data on the biology of Russian ants. Part I. [In Russian.]. Trudy Obshchestva Estestvoispytatelei pri Imperatorskom Kazanskom Universitete 38(4-6):1-800.
• Wheeler, W. M. 1913i. A revision of the ants of the genus Formica (Linné) Mayr. Bulletin of the Museum of Comparative Zoology 53:379-565. PDF