Boreale, Michele, and Daniele Gorla. “Process Calculi and the Verification of Security Protocols”. Journal of Telecommunications and Information Technology, vol. 10, no. 4, Dec. 2002, pp. 28-40, https://doi.org/10.26636/jtit.2002.4.147.