The IBM Engineering Verification Engine. - Daniel K. Beece; George Deibert; Georgina Papp; Frank Villante (DAC, 1988)

The EVE companion simulator. - Daniel K. Beece; Robert F. Damiano; Georgina Papp; R. Schoen (EURO-DAC, 1990)