El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.