An instruction set for reversible Turing machines
scientific article; zbMATH DE number 7374550
scientific article