Anne H. H. Ngu Robert Meersman Hans Weigand Specification and Verification of Communication Constraints for Interoperable Transactions. 15-22 1994 CoopIS db/conf/coopis/coopis94.html#NguMW94