• Lebas & Galkowski, 2019b: 296 (w.m.); Borowiec & Salata, 2022: 262 (w.s.)
• Combination in Formica (Proformica): Emery, 1909b: 203.
• Combination in Proformica: Agosti & Collingwood, 1987a: 61.
• Status as species: Dalla Torre, 1893: 203; Wheeler, 1913i: 546 (redescription); Emery, 1925d: 244; Santschi, 1926f: 289; Kuznetsov-Ugamsky, 1928a: 8; Bolton, 1995b: 368; Legakis, 2011: 36; Borowiec & Salata, 2012: 532; Borowiec, 2014: 151; Lebas et al., 2016: 240; Salata & Borowiec, 2018c: 48; Lebas & Galkowski, 2019b: 296 (redescription); Borowiec & Salata, 2022: 262.

Obsolete combinations

• Formica oculatissima

Citations

• Agosti, D.; Collingwood, C. A. 1987a. A provisional list of the Balkan ants (Hym. Formicidae) and a key to the worker caste. I. Synonymic list. Mitteilungen der Schweizerischen Entomologischen Gesellschaft 60:51-62. PDF
• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Borowiec, L. 2014. Catalogue of ants of Europe, the Mediterranean Basin and adjacent regions (Hymenoptera: Formicidae). Genus (Wroclaw) 25 (1-2):1-340. PDF
• Borowiec, L.; Salata, S. 2012. Ants of Greece – checklist, comments and new faunistic data (Hymenoptera: Formicidae). Genus (Wroclaw) 23 (4):461-563. 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
• Dalla Torre, K. W. 1893. Catalogus Hymenopterorum hucusque descriptorum systematicus et synonymicus. Vol. 7. Formicidae (Heterogyna). Leipzig: W. Engelmann, 289 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. 1886e. Nouvelles fourmis de Grèce récoltées par M. E. von Oertzen. Annales de la Société Entomologique de Belgique 30:clix-clxviii. PDF
• Kuznetsov-Ugamsky, N. N. 1928a. Beiträge zur Ameisenfauna Mittelasiens. I. Die Gattung Proformica, Ruzsky 1903. Zoologischer Anzeiger 75:7-23. PDF
• Lebas, C.; Galkowski, C. 2019b. Notes sur le genre Proformica Ruzsky, 1902 (Hymenoptera, Formicidae) : redécouverte en Grèce de Proformica oculatissima (Forel, 1886). Bulletin de la Société Linnéenne de Bordeaux 154 (n. s. 47) (3-4):293-298. PDF
• Lebas, C.; Galkowski, C.; Blatrix, R.; Wegnez, P. 2016. Guide Delachaux: Fourmis d’Europe occidentale. Luçon: Delachaux et Niestlé, 415 pp.
• Legakis, A. 2011. Annotated list of the ants (Hymenoptera, Formicidae) of Greece. Hellenic Zoological Archives 7:1-55. PDF
• Salata, S.; Borowiec, L. 2018c. Taxonomic and faunistic notes on Greek ants (Hymenoptera: Formicidae). Annals of the Upper Silesian Museum in Bytom, Entomology 27 (008):1-51. 10.5281/zenodo.2199191 PDF
• Santschi, F. 1926f. Travaux scientifiques de l'Armée d'Orient (1916-1918). Fourmis. Bulletin du Muséum National d'Histoire Naturelle 32:286-293. PDF
• 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