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%.