A semantics for updates consisting of a sequence of programs | Publicación