
BIBLIOGRAPHY 551
For the more theoretically inclined, the texts by Dietmeyer, De Micheli, and Kohavi, are
recommended.
[24] D. L. Dietmeyer, Logic Design of Digital Systems, 2nd ed. Allyn and Bacon, Inc., Boston, MA,
1978.
[25] G. De Micheli, Synthesis and Optimization of Digital Circuits. McGraw-Hill, New York, 1994.
[26] Z. Kohavi, Switching and Finite Automata Theory. McGraw-Hill, New York, 1978.
There are no known simple references on the subject of the array algebraic approach to
logic design of synchronous state machines. The advanced reader may find the treatment
by Dietmeyer (previously cited) helpful, but some background in array Boolean algebra ...