sur 23
Theory of Reversible Computing — Kenichi Morita