Ravi Hosabettu Ganesh Gopalakrishnan Mandayam K. Srivas A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. 8-22 http://link.springer.de/link/service/series/0558/bibs/1703/17030008.htm 1999 conf/charme/1999 CHARME db/conf/charme/charme1999.html#HosabettuGS99