Iterating transducers (2002)

by D Dams, Y Lakhnech, M Steffen
Venue:Journal of Logic and Algebraic Programming (JLAP