F. Crazzolara og G. Winskel, “Language, Semantics, and Methods for Cryptographic Protocols”, BRICS, bd. 7, nr. 18, aug. 2000.