Complete system of equivalent transformations for two-tape automata with disjoint loops. - Rimma I. Podlovchenko; V. E. Khachatryan; Yu. G. Chashin (Program. Comput. Softw., 2000)