books.google.fr - The combinatorial theory of species, introduced by Joyal in 1980, provides a unified understanding of the use of generating functions for both labeled and unlabeled structures as well as a tool for the specification and analysis of these structures. This key reference presents the basic elements of the...http://books.google.fr/books/about/Combinatorial_Species_and_Tree_like_Stru.html?hl=fr&id=83odtWY4eogC&utm_source=gb-gplus-shareCombinatorial Species and Tree-like Structures