Simon Devitt, Ivan Lanese Reversible Computation - Springer Springer 2016 ISBN: 9783319405780 Source: EBOOK