Introduction to the theory of switching circuits - McCluskey, E. J. (McGraw-Hill, 1965)