SHEAF RECURSION AND A SEPARATION THEOREM
scientific article; zbMATH DE number 6377237