Dagenais, M., Agarwal, V. K., & Rumin, N. (juin 1985). The McBOOLE logic minimizer [Communication écrite]. 22nd ACM/IEEE conference on Design automation (DAC 1985), Las Vegas, NV, USA. Lien externe
