Reversible computation : third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers - Vos, Alexis De, editor ([Springer-Verlag, ], 2012)