On the representation of finite deterministic 2-tape automata
scientific article; zbMATH DE number 1387542
scientific article