Mendelson Elliott Theory and problems of Boolean algebra and switching circuits - N York Mc Graw Hill 1987 - 213