Declarative Specifications of Complex Transactions with an Application to Cascading Deletes.

Bert O. de Brock Declarative Specifications of Complex Transactions with an Application to Cascading Deletes. 159-173 1999 FMLDO db/conf/fmldo/fmldo99.html#Brock99