The ZX calculus is a language for surface code lattice surgery
Quantum Computation and Quantum Information