Hüttel, Hans, and Jirí Srba. “Recursion Vs. Replication in Simple Cryptographic Protocols”. BRICS Report Series 11, no. 23 (October 11, 2004). Accessed November 27, 2022. https://tidsskrift.dk/brics/article/view/21848.