Crazzolara, F. and Winskel, G. (2000) “Language, Semantics, and Methods for Cryptographic Protocols”, BRICS Report Series, 7(18). doi: 10.7146/brics.v7i18.20145.