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 January 22, 2026. https://tidsskrift.dk/brics/article/view/21807.