Roscoe, A. (1995). Modelling and verifying key−exchange protocols using CSP and FDR. IEEE.
Чикаго стиль цитування (17-те видання)Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.
Стиль цитування MLA (9-ме видання)Roscoe, A. Modelling and Verifying Key−exchange Protocols Using CSP and FDR. IEEE, 1995.
Попередження: стилі цитування не завжди правильні на всі 100%.