Murray, T., & Lowe, G. (2009). On Refinement−Closed Security Properties and Nondeterministic Compositions.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Murray, T., و G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Murray, T., و G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.