El Rayes, A. H. (2006). Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM. The Institute of National Planning.
Чикаго стиль цитування (17-те видання)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. Cairo: The Institute of National Planning, 2006.
Стиль цитування MLA (9-ме видання)El Rayes, Amani Helmi. Evaluating the Lightweight Currency System Using the Probabilistic Model Checking PRISM. The Institute of National Planning, 2006.
Попередження: стилі цитування не завжди правильні на всі 100%.