Delzanno, G., J. Esparza, og J. Srba. “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.