A syntax-directed logic simulator. - Charles M. Allen; Donald D. Givone; William M. Horner; Robert W. Snelsire (DAC, 1968)

A Minimization Technique for Multiple-Valued Logic Systems. - Charles M. Allen; Donald D. Givone (IEEE Trans. Computers, 1968)

A Method of Solution for Multiple-Valued Logic Expressions. - Donald D. Givone; Marvin E. Liebler; Robert P. Roesser (IEEE Trans. Computers, 1971)

Multidimensional Linear Iterative Circuits - General Properties. - Donald D. Givone; Robert P. Roesser (IEEE Trans. Computers, 1972)

Minimization of Multidimensional Linear Iterative Circuits. - Donald D. Givone; Robert P. Roesser (IEEE Trans. Computers, 1973)

Authors' Reply. - Donald D. Givone; Robert P. Roesser (IEEE Trans. Computers, 1973)

An Improved Algorithm for Deriving Checking Experiments. - Robert D. Braun; Donald D. Givone (IEEE Trans. Computers, 1979)

A Design for Multiple-Valued Logic Gates Based on MESFET's. - Joseph G. Tront; Donald D. Givone (IEEE Trans. Computers, 1979)

A Generalized Algorithm for Constructing Checking Sequences. - Robert D. Braun; Donald D. Givone (IEEE Trans. Computers, 1981)