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