On tape-bounded complexity classes and multi-head finite automata | IEEE Conference Publication | IEEE Xplore