• Combination in †Protoformica: Dlussky & Fedoseeva, 1988: 77.
• Status as species: Bolton, 1995b: 369; Dlussky, 2008a: 56 (redescription); Dlussky & Rasnitsyn, 2009: 1030; Perkovsky, 2016: 114.

Obsolete combinations

• †Formica proformicoides

Citations

• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Dlussky, G. M. 1967b. Ants of the genus Formica from the Baltic amber. [In Russian.]. Paleontologicheskii Zhurnal 1967(2):80-89. PDF
• Dlussky, G. M. 2008a. Ants of the tribe Formicini (Hymenoptera, Formicidae) from late Eocene amber of Europe. [In Russian.]. Paleontologicheskii Zhurnal 2008 (5):45-59. PDF
• Dlussky, G. M.; Fedoseeva, E. B. 1988. Origin and early stages of evolution in ants. [In Russian.]. Pp. 70-144 in: Ponomarenko, A. G. (ed.) 1988. Cretaceous biocenotic crisis and insect evolution. [In Russian.]. Moskva: Nauka, 232 pp. PDF
• Dlussky, G. M.; Rasnitsyn, A. P. 2009. Ants (Insecta: Vespida: Formicidae) in the Upper Eocene amber of central and eastern Europe. Paleontological Journal 43:1024-1042. PDF
• Perkovsky, E. E. 2016. Tropical and Holarctic ants in Late Eocene ambers. Vestnik Zoologii 50 (2):111-122. 10.1515/vzoo-2016-0014 PDF