Reversible Logic Synthesis Methodologies with Application to Quantum Computing - Taha, Saleem Mohammed Ridha (Springer International Publishing : Imprint: Springer, 2016)