Norman Ramsey Cristina Cifuentes A transformational approach to binary translation of delayed branches. 210-224 2003 25 ACM Trans. Program. Lang. Syst. 2 http://doi.acm.org/10.1145/641888.641890 db/journals/toplas/toplas25.html#RamseyC03