Widom, J. (1992) A Denotational Semantics for the Starburst Production Rule Language. In: SIGMOD.