Logic and logic design - Girling, B. (International Textbook Company Limited, 1973)