Complete system of equivalent transformations for multitape automata
scientific article; zbMATH DE number 1973060