Neal G. Anderson, Gate Abstractions and Reversibility: On the Logical-Physical Link,
Proceedings of the 56th IEEE International Midwest Symposium on Circuits and Systems (IEEE, 2013), pp. 1059-1062, (2013). (Invited paper in the Special Session on Reversible Computing.)[Link]