Hüttel, H.; Srba, J. Recursion Vs. Replication in Simple Cryptographic Protocols. BRICS 2004, 11.