Samuel Arsac, Russ Harmer, Damien Pous: Adhesive Category Theory for Graph Rewriting in Rocq. CPP 2026: 59-74