Efficient Implementation of Quantum Circuit Simulation with Decision Diagrams, Fachbücher von Robert Wille, Stefan Hillmich