Crazzolaraand Winskel. Events in Security Protocols. ACM Press, 2001, doi:10.1145/501997.501998.