Ahmed، A. A. M.، و Lisitsa، A. (2008). Verification of Cryptographic Protocols via Supercompilation (رسالة ماجستير غير منشورة). University of Liverpool، ليفربول. مسترجع من http://search.mandumah.com/Record/600043
Ahmed، Abd Albasit M.، و Alexei Lisitsa. "Verification of Cryptographic Protocols Via Supercompilation" رسالة ماجستير. University of Liverpool، ليفربول، 2008. مسترجع من http://search.mandumah.com/Record/600043