Murray, T., & Lowe, G. (2009). On Refinement−Closed Security Properties and Nondeterministic Compositions.
Lua i Stíl Chicago (17ú heag.)Murray, T., agus G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Lua MLA (9ú heag.)Murray, T., agus G. Lowe. On Refinement−Closed Security Properties and Nondeterministic Compositions. 2009.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.