Robert B. Jones Jens U. Skakkebæk David L. Dill Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. 2-17 http://link.springer.de/link/service/series/0558/bibs/1522/15220002.htm 1998 conf/fmcad/1998 FMCAD db/conf/fmcad/fmcad1998.html#JonesSD98