Reversible and quantum circuits : optimization and complexity analysis - Abdessaied, Nabila (Springer, 2016)