Sebastian Koch: Introduction to Graph Enumerations. Formaliz. Math. 31(1): 31-52 (2023)