Higher-level supercompilation as a metasystem transition
branching growth of the penultimate level
scientific article; zbMATH DE number 6107920