A. A. Shalyto N. I. Tukkel Translating Iterative Algorithms into Automaton Ones. 250-260 2002 28 Programming and Computer Software 5 http://dx.doi.org/10.1023/A:1020208127964 db/journals/pcs/pcs28.html#ShalytoT02