A Theory and Algorithmic Frame for Switch Level Simulation. - Michael R. Lightner; Gary D. Hachtel; Richard H. Byrd; Michel Heydemann (IMACS European Simulation Meeting, 1984)

The Architecture of a Highly Integrated Simulation System. - Michel Heydemann; Alain Plaignaud; Daniel Dure (DAC, 1988)

The logic automation approach to accurate and efficient gate and functional level simulation. - Michel Heydemann; Daniel Dure (ICCAD, 1988)