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