Boolean reasoning : The logic of Boolean equations - Brown, Frank Markham (Kluwer Academic Publishers, 1990)