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