نظام برمجي لتصميم النظم المنطقيه الثلاثية - يوسف، وليد (جامعة العلوم والتكنولوجيا، صنعاء، كلية الهندسة، برنامج الهندسة الإلكترونية, 2002)