References on Species [00B9] Une theorie combinatoire des series formelles Introduction to the Theory of Species of Structures combinatorics groupoid cardinality and species Species and their generating functions A course on combinatorial species species in agda-unimath Symmetry Book Dirichlet Species and Arithmetic Zeta Functions Thesis ofBrent Abraham Yorgey