Hüttel, H., & Srba, J. (2004). Recursion vs. Replication in Simple Cryptographic Protocols. BRICS Report Series, 11(23). https://doi.org/10.7146/brics.v11i23.21848