Jean Krivine, Jean-Bernard Stefani Reversible Computation - Springer 2015 - Lecture Notes in Computer Science . ISBN: 9783319208602 Subjects--Index Terms: Logic Design; Logics and Meanings of Programs; Quantum Computing; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Software Engineering