A control-flow normalization algorithm and its complexity (1992)

by Zahira Ammarguellat
Venue:IEEE Trans. Software Eng