Understanding Control Flow - Peter A. Buhr (Springer, 2016)