Monien, Burkhard: Two-way multihead automata over a one-letter alphabet. . In: R.A.I.R.O Informatique théorique. Vol.14.1980, page6782