Boolean Comparison of Hardware and Flowcharts. - Gordon L. Smith; Ralph J. Bahnsen; Harry Halliwell (IBM J. Res. Dev., 1982)

Timing Analysis of Computer Hardware. - Robert B. Hitchcock Sr.; Gordon L. Smith; David D. Cheng (IBM J. Res. Dev., 1982)

Model for Delay Faults Based upon Paths. - Gordon L. Smith (ITC, 1985)

Restricted symbolic evaluation is fast and useful. - J. Lawrence Carter; Barry K. Rosen; Gordon L. Smith; Vijay Pitchumani (ICCAD, 1989)