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