T. Balopoulos, S. Gritzalis, S.K. Katsikas, “An Extension of Typed MSR for specifying Esoteric Protocols and their Dolev-Yao Intruder”, in Proceedings of the CMS’2004 IFIP TC6/TC11 International Conference on Communications and Multimedia Security, Salford, UK, σελ. 209-221, 2004.