Fast and simple nested fixpoints
scientific article; zbMATH DE number 984196