Dams, et al.. Iterating Transducers. Springer Berlin Heidelberg, 2001, doi:10.1007/3-540-44585-4_27.