Reversible Computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers - Glück, Robert; Yokoyama, Tetsuo (Springer Berlin Heidelberg : Imprint: Springer, 2013)