Jean-Marc Champarnaud Franck Guingne Georges Hansel Cover transducers for functions with finite domain. 851-865 2005 16 Int. J. Found. Comput. Sci. 5 http://dx.doi.org/10.1142/S0129054105003339 db/journals/ijfcs/ijfcs16.html#ChamparnaudGH05