1. What do reversible programs compute?;Axelsen,2011
2. Logical reversibility of computation;Bennett;IBM J. Res. Develop.,1973
3. Computability: An Introduction to Recursive Function Theory;Cutland,1980
4. Introduction to Automata Theory, Languages, and Computation;Hopcroft,2006
5. Generation of invertible functions;Jacopini;Theor. Comput. Sci.,1989