Turing machines with several read-write heads | IEEE Conference Publication | IEEE Xplore