Reversible Logic Synthesis Methodologies with Application to Quantum Computing (Studies in Systems, Decision and Control)