“A Shadow Dynamic Finite State Machine for Branch Prediction: An Alternative for the 2-Bit Saturating Counter”. Informatica 35 (2). https://puffbird.ijs.si/index.php/informatica/article/view/345.