https://123dok.net/document/zlgvoxko-the-rational-fragment-of-the-zx-calculus.html