Christian Laasch, Marc H. Scholl. Deterministic Semantics of Set-Oriented Update Sequences. In Proceedings of the Ninth International Conference on Data Engineering, April 19-23, 1993, Vienna, Austria. pages 4-13, IEEE Computer Society, 1993. [doi]
Abstract is missing.