Automated logic design techniques applicable to integrated circuitry technology. - Ronald Waxman; M. T. McMahon; B. J. Crawford; A. B. DeAndrade (AFIPS Fall Joint Computing Conference, 1966)