An algorithm for control-flow normalization and its complexity (1990)

by Zahira Ammarguellat