Boolean algebra with computer applications - Williams, Gerald E. (McGraw-Hill Book, 1970)