Murray, T., & Lowe, G. (2009). On Refinement−Closed Security Properties and Nondeterministic Compositions.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Murray, T., và G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Murray, T., và G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.