An instruction set for reversible Turing machines. - Morita, Kenichi (Acta Informatica, 2021)