Reversible Computation [electronic resource] : 4th International Workshop, RC