Automatic Checking of Instruction Specifications (1997)

by Norman Ramsey, Mary Fernández