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