Abendroth, Jörg. “Applying Pi-Calculus to Practice: An Example of a Unified Security Mechanism”. BRICS Report Series 10, no. 39 (November 6, 2003). Accessed May 10, 2024. https://tidsskrift.dk/brics/article/view/21807.