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)