Two-Way Reversible Multi-Head Finite Automata. - Morita, Kenichi (Fundamenta Informaticae, 2011)