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
Software assurance by bounded exhaustive testing, IEEE Transactions on Software Engineering, vol.31, issue.4, p.328339, 2005. ,
DOI : 10.1109/TSE.2005.52
Computation: nite and innite machines, 1967. ,
Validation library. https://subversion.assembla.com/svn/validation ,
The On-Line Encyclopedia of Integer Sequences, 2012. Sequence A000168, p.168 ,
Combinatorial enumeration of non-planar maps, 1971. ,
Generating nonisomorphic maps without storing them, SIAM J. Alg. Disc. Meth, vol.4, p.161178, 1983. ,
Generating nonisomorphic maps and hypermaps without storing them. Communication at GASCom'12, 2012. ,