A Framework for Enforceable Specification of Extended Transaction Models and Transaction Workflows.

Dimitrios Georgakopoulos Mark F. Hornick A Framework for Enforceable Specification of Extended Transaction Models and Transaction Workflows. 599-617 1994 3 Int. J. Cooperative Inf. Syst. 3 db/journals/ijcis/ijcis3.html#GeorgakopoulosH94