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