Chi ha descritto Formica s. str.?

Ciao,
ho problemi a trovare da chi e quando è stato descritto il sottogenere Formica s. str.
Per capire se sbaglio, elenco anche gli altri sottogeneri, vi sarei grato se poteste verificare se sono corretti:

ho problemi a trovare da chi e quando è stato descritto il sottogenere Formica s. str.
Per capire se sbaglio, elenco anche gli altri sottogeneri, vi sarei grato se poteste verificare se sono corretti:
- Coptoformica Müller, 1923
- Raptiformica Forel, 1913
- Serviformica Forel, 1913
