Reversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings - Gerhard W. Dueck, D. Michael Miller ((Lecture Notes in Computer Science))