Two-way two-tape automata
scientific article