Delzanno, Giorgio, m.fl. “Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols”. BRICS Report Series, bd. 13, nr. 14, juli 2006, doi:10.7146/brics.v13i14.21919.