Introduction to switching circuit theory - Givone, Donald D. (McGraw-Hill computer science series, 1970)