Control Flow Semantics by Erik P. De Vink & J.W. De Bakker