Abendroth, Jörg. 2003. “Applying Pi-Calculus to Practice: An Example of a Unified Security Mechanism”. BRICS Report Series 10 (39). https://doi.org/10.7146/brics.v10i39.21807.