Incremental recomputation in local languages.
scientific article; zbMATH DE number 1967121