Compact Representations for the Design of Quantum Logic - Philipp Niemann, Robert Wille (Springer, 2017)