Introduction to Boolean algebra and logic desing - Hoernes, Gerhard E (1993)