Mauricio Osorio, Claudia Zepeda. A semantics for updates consisting of a sequence of programs. In 17th International Conference on Electronics, Communications and Computers, CONIELECOMP 2007, Cholula, Puebla, Mexico, February 26-28, 2007. pages 21, IEEE Computer Society, 2007. [doi]
Abstract is missing.