H. Hüttel and J. Srba, “Recursion vs. Replication in Simple Cryptographic Protocols”, BRICS, vol. 11, no. 23, Oct. 2004.