Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings - Phillips, Iain.; Rahaman, Hafizur. (Programming and Software Engineering, 2017)