Mark Aagaard Byron Cook Nancy A. Day Robert B. Jones A framework for superscalar microprocessor correctness statements. 298-312 2003 4 STTT 3 http://dx.doi.org/10.1007/s10009-002-0087-0 db/journals/sttt/sttt4.html#AagaardCDJ03