El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
Lua i Stíl Chicago (17ú heag.)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
Lua MLA (9ú heag.)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.