El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.