Kybernetika 12 no. 2, 61-75, 1976

Closedness properties and decision problems for finite multi-tape automata