Delzanno, Giorgio, Javier Esparza, og Jirí Srba. “Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols”. BRICS Report Series 13, no. 14 (juli 12, 2006). Set december 19, 2025. https://tidsskrift.dk/brics/article/view/21919.