Universal Reversible Turing Machines with a Small Number of Tape Symbols. - Morita, Kenichi (Fundamenta Informaticae, 2015)