Foundations of Reversible Computation | Publicación