Reversible computation 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013 ; proceedings (Springer, 2013)