On the partial computation principle
scientific article; zbMATH DE number 3597838