A unifying theory of control dependence and its application to arbitrary program structures
scientific article; zbMATH DE number 5987006
scientific article