Hideki Ando Chikako Nakanishi Tetsuya Hara Masao Nakaya Unconstrained Speculative Execution with Predicated State Buffering. 126-137 1995 ISCA http://doi.acm.org/10.1145/223982.224367 db/conf/isca/isca95.html#AndoNHN95