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