A Control-Flow Normalization Algorithm and Its Complexity

Zahira Ammarguellat. A Control-Flow Normalization Algorithm and Its Complexity. IEEE Trans. Software Eng., 18(3):237-251, 1992. [doi]