Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings - Devitt, Simon; Lanese, Ivan (Springer International Publishing : Imprint: Springer, 2016)