Dagenais, M., Agarwal, V. K., & Rumin, N. (1986). McBOOLE: A New Procedure for Exact Logic Minimization. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 5(1), 229-238. Lien externe
