1. I.Adjubi, G.Scollo & M.van Sinderen, Formal Description of the OSI Session Layer: Introduction, in The Formal Description Technique LOTOS, P.H.J.van Eijk, C.A.Vissers, M.Diaz (Eds.), North-Holland 1989.
2. T.Bolognesi & E.Brinksma, Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems, Vol 14, No 1, 1987, pp 25–59.
3. C.A.Boyd, Hidden Assumptions in Cryptographic Protocols, Proceedings of IEE, Part E, Vol 137, No 6, November 1990, pp433–436.
4. M.Burrows, M.Abadi and R.Needham, A Logic of Authentication, Proceedings of the Royal Society, Series A, Volume 426, Number 1871, December 1989, pp233–271.
5. ISO DP 10181-2, Security Frameworks for Open Systems — Part 2: Authentication Framework.