Design of Reversible Counter
Logical reversibility of computation