Compact representations for the design of quantum logic - Niemann, Philipp (SpringerBriefs in Physics,, 2017)