Coinductive counting: bisimulation in enumerative combinatorics (Extended Abstract) (2002)

by J. J. M. M. Rutten
Venue:L. MOSS (ED.), THE PROC. CMCS’02, ENTCS, VOL. 65, ELSEVIER SCIENCE B.V