Towards a Design Flow for Reversible Logic - Wille, Robert (Springer Science+Business Media B.V., 2010)