An Algorithm for Synthesis of Multiple-Output Combinational LogicPeter R. SchneiderDonald L. Dietmeyer1968IEEE TC
Aids for Logic Design Algorithm DevelopmentDonald L. DietmeyerP.R. Schneider1967IEEE Transactions on Education
Identification of Symmetry, Redundancy and Equivalence of Boolean FunctionsDonald L. DietmeyerPeter R. Schneider1967IEEE Transactions on Electronic Computers