Bert O. de Brock. Declarative Specifications of Complex Transactions with an Application to Cascading Deletes. In FMLDO. pages 159-173, 1999.
@inproceedings{Brock99, title = {Declarative Specifications of Complex Transactions with an Application to Cascading Deletes}, author = {Bert O. de Brock}, year = {1999}, researchr = {https://researchr.org/publication/Brock99}, cites = {0}, citedby = {0}, pages = {159-173}, booktitle = {FMLDO}, }