يوسف و. ش. م.; اسعد ع. ع. نظام برمجي لتصميم النظم المنطقية الثلاثية. JST 2014, 8.