Reversible Computation5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings - SpringerLink (Online service)