"An Introduction to Computer Logic", H. Troy Nagle, Jr. et al., 1975, N.J., Prentice-Hall Inc., pp.217-242. |
"Logic Design Principles", Edward J. McCluskey, Prentice-Hall, 1986, NJ pp. 275-281, 308,309. |
Barzilai et al., "SLS-A Fast Switch Level Simulator For Verification and Fault Coverage Analysis", IEEE (1986), Paper 9.2, pp. 164-169. |
Bryant, "Extraction of Gate Level Models from Transistor Circuits by Four-Valued Symbolic Analysis", IEEE (1991), pp. 350-353. |
Bryant, "Algorithmic Aspects of Symbolic Switch Network Analysis", IEEE Transactions on Computer-Aided Design, vol. CAD-6, No. 4, Jul. 1987, pp. 618-633. |
W.V. Quine, "The Problem of Simplifying Truth Functions", Am. Math Monthly, vol. 59, No 8 (Oct. 1952) 521-31. |
E.J. McCluskey, "Minimization of Bloolean Functions," Bell System Tech Journal, vol. 35, No. 6 (Nov. 1956) 1417-1444 p2. Jan. 23, 1997. |