Reversible Computation : Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers - Alexis Vos, Robert Wille ((Lecture Notes in Computer Science))