Optimization of Boolean Expressions-Historical Developments. - Jack Minker; Rita G. Minker (IEEE Ann. Hist. Comput., 1980)