التصميم المنطقي للانظمة الأوتوماتيكية - فريدمان، ساندر بي (جامعة الملك سعود،)