El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
Chicago-čujuhus (17. p.)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
MLA-čujuhus (9. p.)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.