Anthony C. J. Fox Neal A. Harman Algebraic Models of Superscalar Microprocessor Implementations: A Case Study. 138-183 http://dx.doi.org/10.1007/3-540-49254-2_5 1998 conf/nada/1998 Prospects for Hardware Foundations db/conf/nada/nada1998.html#FoxH98