Closedness properties and decision problems for finite multi-tape automata Peter H. Starke — 1976 Kybernetika