On the Equivalence-Checking Problem for a Model of Programs Related with Multi-tape Automata. - Vladimir A. Zakharov; Ivan Zakharyaschev (CIAA, 2004)