Reversible computation 5th International Conference : RC 2013, Victoria, BC, Canada, July 4-5, 2013 : proceedings / - Dueck, Gerhard W.; Miller, D. Michael. (Springer, 2013)