An extensible object-oriented mixed-mod functional simulation system. - Richard H. Lathrop; Robert S. Kirk (DAC, 1985)

A System Which Uses Examples to Learn VLSI Structure Manipulations. - Richard H. Lathrop; Robert S. Kirk (AAAI, 1986)

Precedent-based manipulation of VLSI structures. - Richard H. Lathrop; Robert S. Kirk (DAC, 1986)

A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits. - Robert J. Hall 001; Richard H. Lathrop; Robert S. Kirk (AAAI, 1987)

Functional Abstraction from Structure in VLSI Simulation Models. - Richard H. Lathrop; Robert J. Hall 001; Robert S. Kirk (DAC, 1987)

Advances in Functional Abstraction from Structure. - Richard H. Lathrop; Robert J. Hall 001; Gavan Duffy; K. Mark Alexander; Robert S. Kirk (DAC, 1988)