• [Proformica also described as new by Ruzsky, 1903b: 303.]
• Proformica in Formicinae, Lasiini: Ashmead, 1905c: 384.
• Proformica in Camponotinae, Formicini: Forel, 1917: 250.
• Proformica in Formicinae, Formicini + Lasiini: Hölldobler & Wilson, 1990: 18.
• Proformica in Formicinae, Formica genus group: Agosti, 1991: 295.
• Proformica in Formicinae, Formicini: Bondroit, 1918: 40; Wheeler, 1922: 699; Emery, 1925d: 242; subsequent authors; Bolton, 1995b: 43; Bolton, 2003: 28, 130; Ward et al., 2016: 346.
• Proformica as subgenus of Formica: Ruzsky, 1902d: 13; Forel, 1904c: 384; Emery, 1909b: 180; Wheeler, 1910a: 143; Forel, 1917: 250; Wheeler, 1922: 699; Emery, 1925d: 242; Donisthorpe, 1943g: 687; Creighton, 1950a: 457.
• Proformica as genus: Ashmead, 1905c: 384; Bondroit, 1918: 40; Kuznetsov-Ugamsky, 1927b: 26; Kuznetsov-Ugamsky, 1928a: 7; Dlussky, 1969a: 218; subsequent authors; Bolton, 1995b: 43; Bolton, 2003: 28, 130.

Obsolete classifications

• Formica (Proformica)
• Proformica (Proformica)

Citations

• Agosti, D. 1991. Revision of the oriental ant genus Cladomyrma, with an outline of the higher classification of the Formicinae (Hymenoptera: Formicidae). Systematic Entomology 16:293-310. PDF
• 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
• Agosti, D.; Collingwood, C. A. 1987b. A provisional list of the Balkan ants (Hym. Formicidae) with a key to the worker caste. II. Key to the worker caste, including the European species without the Iberian. Mitteilungen der Schweizerischen Entomologischen Gesellschaft 60:261-293. PDF
• Arakelian, G. R. 1994. Fauna of the Republic of Armenia. Hymenopterous insects. Ants (Formicidae). [In Russian.]. Erevan: Gitutium, 153 pp. PDF
• Ashmead, W. H. 1905c. A skeleton of a new arrangement of the families, subfamilies, tribes and genera of the ants, or the superfamily Formicoidea. Canadian Entomologist 37:381-384. PDF
• Atanassov, N.; Dlussky, G. M. 1992. Fauna of Bulgaria. Hymenoptera, Formicidae. [In Bulgarian.]. Fauna na Bûlgariya 22:1-310.
• Bernard, F. 1967a ("1968"). Faune de l'Europe et du Bassin Méditerranéen. 3. Les fourmis (Hymenoptera Formicidae) d'Europe occidentale et septentrionale. Paris: Masson, 411 pp. PDF
• Bolton, B. 1994. Identification guide to the ant genera of the world. Cambridge, Mass.: Harvard University Press, 222 pp.
• Bolton, B. 1995a. A taxonomic and zoogeographical census of the extant ant taxa (Hymenoptera: Formicidae). Journal of Natural History 29:1037-1056. PDF
• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Bolton, B. 2003. Synopsis and classification of Formicidae. Memoirs of the American Entomological Institute 71:1-370. PDF
• Bondroit, J. 1918. Les fourmis de France et de Belgique. Annales de la Société Entomologique de France 87:1-174. PDF
• Borowiec, L.; Salata, S. 2022. A monographic review of ants of Greece (Hymenoptera: Formicidae). Vol. 1. Introduction and review of all subfamilies except the subfamily Myrmicinae. Part 1: text. Bytom: Natural History Monographs of the Upper Silesian Museum, 1-297. PDF
• Borowiec, L.; Salata, S. 2025a. A monographic review of ants of Greece (Hymenoptera: Formicidae) Vol. 2. Review of the subfamily Myrmicinae except the genera Temnothorax and Tetramorium. Part 1: text. Bytom: Natural History Monographs of the Upper Silesian Museum, 1-476. PDF
• Cantone, S. 2017. Winged ants – The male. Dichotomous key to genera of winged male ants in the world. Behavioral ecology of mating flight. São Paulo: Autopubblicato, 318 pp. PDF
• Collingwood, C. A. 1978. A provisional list of Iberian Formicidae with a key to the worker caste (Hym. Aculeata). EOS. Revista Española de Entomología 52:65-95. PDF
• Collingwood, C.; Prince, A. 1998. A guide to ants of continental Portugal (Hymenoptera: Formicidae). Boletim da Sociedade Portuguesa de Entomologia. Suplemento 5:1-49.
• Creighton, W. S. 1950a. The ants of North America. Bulletin of the Museum of Comparative Zoology 104:1-585. 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
• Donisthorpe, H. 1943g. A list of the type-species of the genera and subgenera of the Formicidae. [part]. Annals and Magazine of Natural History (11)10:617-688.
• Dubovikoff, D. A. 2005b. А new species of the genus Proformica Ruzsky, 1902 (Hymenoptera, Formicidae) from North Ossetia and key to identification of Proformica species of the Caucasian Isthmus. [in Russian]. Kavkazskii Entomologicheskii Byulleten 1:189-191. 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
• Forel, A. 1917. Cadre synoptique actuel de la faune universelle des fourmis. Bulletin de la Société Vaudoise des Sciences Naturelles 51:229-253. PDF
• Hölldobler, B.; Wilson, E. O. 1990. The ants. Cambridge, Mass.: Harvard University Press, xii + 732 pp.
• 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
• Radchenko, A. G. 1994b. Identification table for the ants (Hymenoptera, Formicidae) of southern Siberia. [In Russian.]. Pp. 95-118 in: Kotenko, A. G. (ed.) 1994. Hymenopterous insects of Siberia and the Far East. [In Russian.]. Trudy Zapovednika "Daurskii" 3:1-147.
• Ruzsky, M. 1902d. Material on the ant fauna of the Caucasus and the Crimea. [In Russian.]. Protokoly Obshchestva Estestvoispytatelei pri Imperatorskom Kazanskom Universitete 206(suppl.):1-33. PDF
• Ruzsky, M. 1903b. Essay on the myrmecofauna of the Kirghiz steppe. [In Russian.]. Trudy Russkago Entomologicheskago Obshchestva 36:294-316. PDF
• Tarbinsky, Y. S. 1976. The ants of Kirghizia. [In Russian.]. Frunze: Ilim, 217 pp. PDF
• Ward, P. S.; Blaimer, B. B.; Fisher, B. L. 2016. A revised phylogenetic classification of the ant subfamily Formicinae (Hymenoptera: Formicidae), with resurrection of the genera Colobopsis and Dinomyrmex. Zootaxa 4072:343-357. PDF
• Wheeler, W. M. 1910a. Ants: their structure, development and behavior. New York: Columbia University Press, xxv + 663 pp. PDF
• Wheeler, W. M. 1922. Ants of the American Museum Congo expedition. New York: Bulletin of the American Museum of Natural History, 1139.
• Wu, J.; Wang, C. 1995a. The ants of China. [In Chinese.]. Beijing: China Forestry Publishing House, x + 214 pp.
• Zhu, W.; Wu, L.; Duan, L.; Xu, S. 2022. A checklist of ants (Hymenoptera: Formicidae) in northern Shaanxi Province, China, with one new species of genus Proformica Ruzsky, 1902. Journal of Asia-Pacific Entomology 25 (1):27 pp. [online early] 10.1016/j.aspen.2022.101875 PDF