Introducing Design Automation for Quantum Computing - Zulehner; Wille, Robert (Springer International Publishing, 2020)