Transformation of Boolean Equations for the Design of Multiple-Output Networks - Warren Clark Pratt (1977)