Towards a theory of local and global in computation
scientific article; zbMATH DE number 3574983