J. Abendroth, “Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism”, BRICS, bd. 10, nr. 39, nov. 2003.