de Beaudrap, Niel, Horsman, Dominic, "The ZX calculus is a language for surface code lattice surgery", Quantum, 2025