Introduction to the theory of switching circuits - McCluskey, E. J. (Princeton University series, 1965)