1.
Crazzolara F, Winskel G. Events in Security Protocols. BRICS [Internet]. 2001 Apr. 13 [cited 2024 Mar. 28];8(13). Available from: https://tidsskrift.dk/brics/article/view/20470