يوسف و. ش. م. and اسعد ع. ع., “نظام برمجي لتصميم النظم المنطقية الثلاثية”, JST, vol. 8, no. 1, May 2014.