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