Witt, Zamdzhiev, 2014. The ZX-calculus is incomplete for quantum mechanics 172.. https://doi.org/10.4204/eptcs.172.20