Computer aided design of digital systems by W. M. VanCleemput