Speculative execution in high-performance computer architectures - Kaeli, David R. (Chapman & Hall/CRC, 2005)