Murray, T., & Lowe, G. (2009). On Refinement−Closed Security Properties and Nondeterministic Compositions.
Чикаго стиль цитування (17-те видання)Murray, T., та G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Стиль цитування MLA (9-ме видання)Murray, T., та G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Попередження: стилі цитування не завжди правильні на всі 100%.