Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks. - Yves Lafont; Pierre Rannou (RTA, 2008)

Properties of co-operations: diagrammatic proofs. - Pierre Rannou (Math. Struct. Comput. Sci., 2012)