Cita APA (7a ed.)

Arsac, S., Harmer, R., & Pous, D. (2025). Adhesive category theory for graph rewriting in Rocq.

Cita Chicago Style (17a ed.)

Arsac, Samuel, Russ Harmer, y Damien Pous. Adhesive Category Theory for Graph Rewriting in Rocq. 2025.

Cita MLA (9a ed.)

Arsac, Samuel, et al. Adhesive Category Theory for Graph Rewriting in Rocq. 2025.