. . "The update calculus can serve as a basis for higher-level update languages, such as for Haskell or Java." . . .