H. Hüttel og J. Srba, “Recursion vs. Replication in Simple Cryptographic Protocols”, BRICS, bd. 11, nr. 23, okt. 2004.