"Deterministic Semantics of Set-Oriented Update Sequences."

Christian Laasch, Marc H. Scholl (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics