Springer Reversible Logic Synthesis