Basionym Name:Agaricus coccinellus Ehrenb., Sylv. mycol. berol. (Berlin): 31 (1818)
Homotypic synonyms:Hygrocybe coccinella (Ehrenb.) Fayod, Annls Sci. Nat., Bot., sér. 7 9: 410 (1889)Hygrophorus coccinellus (Ehrenb.) Sacc., Syll. fung. (Abellini) 9: 55 (1891)