Karel Culik II Matti Linna The Equivalence Problem for n-Tape Finite Automata with Simple Cycles. 15-25 1987 conf/fsttcs/1987 FSTTCS db/conf/fsttcs/fsttcs87.html#CulikL87 http://dx.doi.org/10.1007/3-540-18625-5_39