F. Crazzolara og G. Winskel, “Events in Security Protocols”, BRICS, bd. 8, nr. 13, apr. 2001.