1. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier (2001)
2. Blanchet, B., Smyth, B.: Proverif: Automatic cryptographic protocol verifier, user manual and tutorial, version 1.86pl3 (2011)
3. Champelovier, D., Clerc, X., Garavel, H., Guerte, Y., Powazny, V., Lang, F., Serwe, W., Smeding, G.: Reference manual of the LOTOS NT to LOTOS translator (version 5.1). Inria/Vasy, 109 pages (2010)
4. Lecture Notes in Computer Science;M. Dam,1993
5. Lecture Notes in Computer Science;G. Ferrari,1997