Schaum's outline of theory and problems of boolean algebra and switching circuits - Mendelson, Elliott (1970)