Karel Culik II Juhani Karhumäki HDTOL Matching of Computations of Multitape Automata. 179-191 1989 27 Acta Inf. 2 db/journals/acta/acta27.html#CulikK89