C. Banderier and P. Flajolet, Basic analytic combinatorics of directed lattice paths, Theoretical Computer Science, vol.281, issue.1-2, p.3780, 2002.
DOI : 10.1016/S0304-3975(02)00007-5

D. Coppit, J. Yang, S. Khurshid, W. Le, and K. J. Sullivan, Software assurance by bounded exhaustive testing, IEEE Transactions on Software Engineering, vol.31, issue.4, p.328339, 2005.
DOI : 10.1109/TSE.2005.52

L. Marvin and . Minsky, Computation: nite and innite machines, 1967.

V. Senni, Validation library. https://subversion.assembla.com/svn/validation

J. A. Neil and . Sloane, The On-Line Encyclopedia of Integer Sequences, 2012. Sequence A000168, p.168

R. S. Timothy and . Walsh, Combinatorial enumeration of non-planar maps, 1971.

R. S. Timothy and . Walsh, Generating nonisomorphic maps without storing them, SIAM J. Alg. Disc. Meth, vol.4, p.161178, 1983.

R. S. Timothy and . Walsh, Generating nonisomorphic maps and hypermaps without storing them. Communication at GASCom'12, 2012.