Program analysis and optimization through kernel-control decomposition
scientific article; zbMATH DE number 3567986