Ibarra, Tran, 2012. On synchronized multi-tape and multi-head automata 449.. https://doi.org/10.1016/j.tcs.2012.04.006