Serge Abiteboul Sophie Cluet Laurent Mignet Tova Milo Declarative Specification of Electronic Commerce Applications. 37-42 2000 http://sites.computer.org/debull/A00MAR-CD.pdf 23 IEEE Data Eng. Bull. 1 db/journals/debu/debu23.html#AbiteboulCMM00