A universal completion of the ZX-calculus
A Simplified Stabilizer ZX-calculus