International Commission on Zoological Nomenclature 1939. Opinion 135. Suppression of the so-called "Erlangen List" of 1801. Opinions and Declarations rendered by the International Commission on Zoological Nomenclature 2:7-12. PDF

International Commission on Zoological Nomenclature 1956. Opinion 424. Validation under the plenary powers of the specific name rufa Linnaeus, 1761, as published in the combination Formica rufa and designation under the same powers of the species so named to be the type species of the genus Formica Linnaeus 1758 (class Insecta, order Hymenoptera). Opinions and Declarations rendered by the International Commission on Zoological Nomenclature 14:215-242.