Speculative Execution in High Performance Computer Architectures - Kaeli, David (CRC Press, 2009)