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