Al Zuhaibi، O.، و Al Turki، M. A. (2016). A Formal Executable Semantics of Orc Using the K Framework (رسالة ماجستير غير منشورة). جامعة الملك فهد للبترول والمعادن، الظهران. مسترجع من http://search.mandumah.com/Record/775136
Al Zuhaibi، Omar، و Musab A. Al Turki. "A Formal Executable Semantics of Orc Using the K Framework" رسالة ماجستير. جامعة الملك فهد للبترول والمعادن، الظهران، 2016. مسترجع من http://search.mandumah.com/Record/775136