A computer program for the synthesis of combinational switching circuits - Richard M. Karp; F. E. McFarlin; J. Paul Roth; J. R. Wilts (SWCT, 1961)