Developments in verification of design correctness (A Tutorial). - Wendell E. Cory; William M. van Cleemput (DAC, 1980)

Symbolic simulation for functional verification with ADLIB and SDL. - Wendell E. Cory (DAC, 1981)